Version 2.1-dev release

GJDuck · Jul 19, 2018 · d312e8b · d312e8b
1 parent b37d763
commit d312e8b
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/Makefile b/Makefile
@@ -22,7 +22,7 @@ else
 endif
 
 # CPU=VINTAGE_AMD64
-CPU=MODERN_AMD64
+CPU ?= MODERN_AMD64
 
 CC=gcc
 PROG=smchr

diff --git a/doc/VERSION b/doc/VERSION
@@ -1 +1 @@
-2.0-dev
+2.1-dev
diff --git a/release-smchr.sh b/release-smchr.sh
@@ -11,13 +11,13 @@ set -x
 # Nb: MacOSX version must be built separately.
 MAKEFILE=Makefile
 make -f $MAKEFILE clean
-make -f $MAKEFILE -j4 smchr
+make -f $MAKEFILE -j4 smchr CPU=VINTAGE_AMD64
 make -f $MAKEFILE clean
-make -f $MAKEFILE -j4 smchr.windows
+#make -f $MAKEFILE -j4 smchr.windows
+#make -f $MAKEFILE clean
+make -f $MAKEFILE answer CPU=VINTAGE_AMD64
 make -f $MAKEFILE clean
-make -f $MAKEFILE answer
-make -f $MAKEFILE clean
-make -f $MAKEFILE flatzinc
+make -f $MAKEFILE flatzinc CPU=VINTAGE_AMD64
 mv answer answer.linux
 mv flatzinc flatzinc.linux
 
@@ -29,7 +29,7 @@ mv flatzinc flatzinc.linux
 rm -rf "$INSTALL"
 mkdir -p "$INSTALL"
 cp smchr "$INSTALL"/smchr.linux
-cp smchr.exe "$INSTALL"
+#cp smchr.exe "$INSTALL"
 HAVE_MACOSX=yes
 if [ -e smchr.macosx ]
 then