diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-27 19:29:22 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 09:48:05 -0500 |
| commit | b07abc9bf4dbd20eb086b584fcb140be97f69a85 (patch) | |
| tree | e8dd85e1a96948a3c0a01a2448c9b8de15cc9904 /Makefile | |
| parent | 7b8902ff8775e5955472725042109896fbf67824 (diff) | |
Update competition build rules.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -96,7 +96,7 @@ submission-main: ./autogen.sh mkdir -p builds-smtcomp/main ( cd builds-smtcomp/main; \ - ../../configure competition --disable-shared --enable-static-binary --with-cln --with-glpk --with-abc --without-readline --enable-gpl; \ + ../../configure competition --disable-thread-support --disable-shared --enable-static-binary --with-cln --with-glpk --with-abc --without-readline --enable-gpl; \ $(MAKE) V=1; \ strip src/main/cvc4; \ $(MAKE) check ) @@ -130,7 +130,7 @@ submission-application: ./autogen.sh mkdir -p builds-smtcomp/application ( cd builds-smtcomp/application; \ - ../../configure competition --disable-shared --enable-static-binary --with-cln --without-glpk --with-abc --without-readline --enable-gpl CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK; \ + ../../configure competition --disable-thread-support --disable-shared --enable-static-binary --with-cln --without-glpk --with-abc --without-readline --enable-gpl CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK; \ $(MAKE) V=1; \ strip src/main/cvc4; \ $(MAKE) check ) |