Release 1.2.0 (#7)

Author: ddeclerck

CHANGES

@@ -1,3 +1,7 @@
+1.2.0 2022-10-31
+    IMPROVEMENTS
+    * Compatibility with OCaml 5.0
+
 1.1.2 2018-01-15
     IMPROVEMENTS
     * Cubicle Emacs mode on MELPA (package-install cubicle-mode)
@@ -146,4 +150,4 @@
     * Approximations in arithmetic simplifications
 
 0.2   2012-01-23
-    * First public release of Cubicle
+    * First public release of Cubicle

Makefile.in

@@ -139,7 +139,7 @@ $(NAME).opt: $(MAINCMX)
 	$(if $(QUIET),@echo 'Linking $@' &&) \
 	$(OCAMLOPT) $(OFLAGS) -o $@ $(BIBOPT) $^
 
-VERSION=1.1.2
+VERSION=1.2.0
 VERSION_STR=$(shell command -v git > /dev/null && git describe --tags || echo "$(VERSION)")
 
 version.ml: config.status

README.md

@@ -23,7 +23,7 @@ See the enclosed file [LICENSE](LICENSE).
 Installation
 ------------
 
-To compile Cubicle you will need [OCaml](http://ocaml.org) version 4.03.0 (or
+To compile Cubicle you will need [OCaml](http://ocaml.org) version 4.08.0 (or
 newer) and issue:
 
     ./configure

configure.in

@@ -21,7 +21,7 @@ if test "$OCAMLC" = no ; then
 	AC_MSG_ERROR(Cannot find ocamlc.)
 fi
 
-MINOCAMLVERSION=4.03.0
+MINOCAMLVERSION=4.08.0
 OCAMLVERSION=`$OCAMLC -version`
 echo "OCaml version is $OCAMLVERSION"
 AX_COMPARE_VERSION([$OCAMLVERSION], [ge], [$MINOCAMLVERSION],
@@ -103,20 +103,20 @@ Z3LIB=""
 Z3CCFLAGS=""
 AS_IF([test "x$with_z3" != xno],
 if test "$USEOCAMLFIND" = yes; then
-  Z3LIB=$(ocamlfind query -i-format Z3)
-  Z3CCFLAGS="-cclib \"-L$(ocamlfind query Z3) -lz3\""
+  Z3LIB=$(ocamlfind query -i-format z3)
+  Z3CCFLAGS="-cclib \"-L$(ocamlfind query z3) -lz3\""
 fi
 
 if test -n "$Z3LIB";then
   echo "ocamlfind found Z3 bindings in $Z3LIB"
   Z3LD=yes
 else
-  AC_CHECK_FILE($OCAMLLIB/Z3/z3.cma,Z3LD=yes,Z3LD=no)
+  AC_CHECK_FILE($OCAMLLIB/z3/z3.cma,Z3LD=yes,Z3LD=no)
   if test "$Z3LD" = no ; then
       AC_MSG_RESULT(Cannot find Z3 OCaml bindings.)
   else
      Z3LIB="-I +z3"
-     Z3CCFLAGS="-cclib \"-L$OCAMLLIB/Z3 -lz3\""
+     Z3CCFLAGS="-cclib \"-L$OCAMLLIB/z3 -lz3\""
   fi
 fi
 ,