From b07abc9bf4dbd20eb086b584fcb140be97f69a85 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Mon, 27 Oct 2014 19:29:22 -0400 Subject: [PATCH] Update competition build rules. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 071bf7a3e..b4c7589fe 100644 --- a/Makefile +++ b/Makefile @@ -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 ) -- 2.30.2