forked from dtompkins/ubcsat
-
Notifications
You must be signed in to change notification settings - Fork 1
/
Makefile
7 lines (3 loc) · 1.28 KB
/
Makefile
1
2
3
4
all: ubcsat
ubcsat: src/adaptnovelty.c src/algorithms.c src/algorithms.h src/ddfw.c src/derandomized.c src/g2wsat.c src/gsat.c src/gsat-tabu.c src/gwsat.c src/hsat.c src/hwsat.c src/irots.c src/mt19937ar.c src/mylocal.c src/mylocal.h src/novelty.c src/novelty+p.c src/parameters.c src/paws.c src/random.c src/reports.c src/reports.h src/rgsat.c src/rnovelty.c src/rots.c src/samd.c src/saps.c src/ubcsat.c src/ubcsat.h src/ubcsat-globals.h src/ubcsat-help.c src/ubcsat-internal.c src/ubcsat-internal.h src/ubcsat-io.c src/ubcsat-io.h src/ubcsat-limits.h src/ubcsat-lit.h src/ubcsat-mem.c src/ubcsat-mem.h src/ubcsat-reports.c src/ubcsat-time.c src/ubcsat-time.h src/ubcsat-triggers.c src/ubcsat-triggers.h src/ubcsat-types.h src/vw.c src/walksat.c src/walksat-tabu.c
gcc -O3 -lm -o ubcsat src/adaptnovelty.c src/algorithms.c src/derandomized.c src/ddfw.c src/g2wsat.c src/gsat.c src/gsat-tabu.c src/gwsat.c src/hsat.c src/hwsat.c src/irots.c src/mt19937ar.c src/mylocal.c src/novelty.c src/novelty+p.c src/parameters.c src/paws.c src/random.c src/reports.c src/rgsat.c src/rnovelty.c src/rots.c src/samd.c src/saps.c src/ubcsat.c src/ubcsat-help.c src/ubcsat-internal.c src/ubcsat-io.c src/ubcsat-mem.c src/ubcsat-reports.c src/ubcsat-time.c src/ubcsat-triggers.c src/vw.c src/walksat.c src/walksat-tabu.c