diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 01:23:19 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-22 01:24:13 -0400 |
commit | ca0c712c24b745522cc8d0648b4852decb40bcb5 (patch) | |
tree | 0ea26161424905337d0f62201223c9bb9e473877 /Makefile | |
parent | fbd3232481b8f2759daea3d683085dc038710c01 (diff) |
Another updated submission strategy.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 --with-glpk --with-abc --without-readline --enable-gpl CXXFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK CFLAGS=-DCVC4_SMTCOMP_APPLICATION_TRACK; \ + ../../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; \ $(MAKE) V=1; \ strip src/main/cvc4; \ $(MAKE) check ) |