File: makefile

package info (click to toggle)
depqbf 5.01-3
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, buster, forky, sid, trixie
  • size: 2,548 kB
  • sloc: ansic: 22,818; java: 387; makefile: 171; sh: 33
file content (9 lines) | stat: -rw-r--r-- 479 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
 
all:
	gcc -g3 -o basic-api-example basic-api-example.c -L.. -lqdpll
	gcc -g3 -o basic-api-example2 basic-api-example2.c -L.. -lqdpll
	gcc -g3 -o basic-api-example3 basic-api-example3.c -L.. -lqdpll
	gcc -g3 -o basic-manual-selectors basic-manual-selectors.c -L.. -lqdpll
	gcc -g3 -o basic-clause-groups-api-example basic-clause-groups-api-example.c -L.. -lqdpll
	gcc -g3 -o basic-clause-groups-api-example-assumptions basic-clause-groups-api-example-assumptions.c -L.. -lqdpll