File: makefile

package info (click to toggle)
cadical 2.1.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 4,216 kB
  • sloc: cpp: 36,901; ansic: 4,521; sh: 1,770; makefile: 91
file content (16 lines) | stat: -rw-r--r-- 237 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
test: usage trace api cnf icnf mbt contrib
api:
	@api/run.sh
cnf:
	@cnf/run.sh
icnf:
	@icnf/run.sh
mbt:
	@mbt/run.sh
trace:
	@trace/run.sh
usage:
	@usage/run.sh
contrib:
	@contrib/run.sh
.PHONY: test api cnf icnf mbt trace usage contrib