Commit 2b75f87a authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Prepare the 1.0 release

parent 5c2f3553
......@@ -22,7 +22,7 @@
BINARIES=acg acg.opt acgc acgc.opt
VERSION_FILE = src/utils/version.ml
VERSION_BASENAME=1.0b
VERSION_BASENAME=1.0
VERSION = $(VERSION_BASENAME)-$(shell date "+%Y%m%d")
RELEASE = acg-$(VERSION)
......
......@@ -17,7 +17,7 @@
(* *)
(**************************************************************************)
VERSION="1.0b-20140211"
VERSION="1.0-20140905"
AC_INIT([ACG DTK],[$VERSION],[sylvain.pogodalla@loria.fr])
......@@ -238,7 +238,7 @@ AC_SUBST(OCAMLP4_LOC)
AC_SUBST(SET_MAKE)
AC_CONFIG_FILES([./Makefile config/Makefile src/Makefile.master src/Makefile.common src/Makefile src/utils/Makefile src/logic/Makefile src/grammars/Makefile src/acg-data/Makefile src/scripting/Makefile src/datalog.prover/Makefile src/reduction/Makefile src/datalog.solver/Makefile])
AC_CONFIG_FILES([./Makefile config/Makefile src/Makefile.master src/Makefile.common src/Makefile src/utils/Makefile src/logic/Makefile src/grammars/Makefile src/acg-data/Makefile src/scripting/Makefile src/datalog.prover/Makefile src/datalog.solver/Makefile])
AC_PROG_MAKE_SET
......
......@@ -3127,7 +3127,7 @@ $as_echo "$OCAMLP4 calls will be done with the $CAMLP4_LIB library" >&6; }
ac_config_files="$ac_config_files ./Makefile config/Makefile src/Makefile.master src/Makefile.common src/Makefile src/utils/Makefile src/logic/Makefile src/grammars/Makefile src/acg-data/Makefile src/scripting/Makefile src/datalog.prover/Makefile src/reduction/Makefile src/datalog.solver/Makefile"
ac_config_files="$ac_config_files ./Makefile config/Makefile src/Makefile.master src/Makefile.common src/Makefile src/utils/Makefile src/logic/Makefile src/grammars/Makefile src/acg-data/Makefile src/scripting/Makefile src/datalog.prover/Makefile src/datalog.solver/Makefile"
{ $as_echo "$as_me:${as_lineno-$LINENO}: checking whether ${MAKE-make} sets \$(MAKE)" >&5
......@@ -3878,7 +3878,6 @@ do
"src/acg-data/Makefile") CONFIG_FILES="$CONFIG_FILES src/acg-data/Makefile" ;;
"src/scripting/Makefile") CONFIG_FILES="$CONFIG_FILES src/scripting/Makefile" ;;
"src/datalog.prover/Makefile") CONFIG_FILES="$CONFIG_FILES src/datalog.prover/Makefile" ;;
"src/reduction/Makefile") CONFIG_FILES="$CONFIG_FILES src/reduction/Makefile" ;;
"src/datalog.solver/Makefile") CONFIG_FILES="$CONFIG_FILES src/datalog.solver/Makefile" ;;
*) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
......
archive: "http://calligramme.loria.fr/acg/software/acg-1.0b-20140211.tar.gz"
checksum: "c10894ef11d61439a0d1195a7438f541"
archive: "http://calligramme.loria.fr/acg/software/acg-1.1-20140905.tar.gz"
checksum: "badd7bc603dc30309c7cc432e52257c4"
......@@ -17,7 +17,7 @@
(* *)
(**************************************************************************)
DEFINE VERSION = "1.0b-20140211"
DEFINE VERSION = "1.0-20140905"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment