diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-07-07 00:36:20 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-07-07 00:36:20 +0000 |
| commit | 9d2d37a02675275fa15407088358a1644b506d83 (patch) | |
| tree | 4fd597ec10677e3ea3d2f3b5bf3b50e99956ee28 /Makefile | |
| parent | bdf92b5fb98aba9500236140233dcdf01b845912 (diff) | |
competition submission should be fully static
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ regress test: check submission: if [ ! -e configure ]; then ./autogen.sh; fi - ./configure competition + ./configure competition --disable-shared --enable-static-binary $(MAKE) mkdir -p cvc4-smtcomp-2010 cp -p $(top_builddir)/bin/cvc4 cvc4-smtcomp-2010/run |