Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
834aa65f
Commit
834aa65f
authored
Apr 18, 2015
by
MARCHE Claude
Browse files
ocaml minimal for compilation: 4.00.1
parent
30f8be58
Changes
2
Hide whitespace changes
Inline
Side-by-side
ROADMAP
View file @
834aa65f
...
...
@@ -161,10 +161,6 @@ Release Notes (details in file CHANGES):
* plusieurs drivers acceptés sur la ligne de commande (AP)
* determine which is the minumum version of Ocaml to compile, and then
updated configure.in and the manual
-> vérification compilation avec OCaml 3.12 -> Claude va le faire
* solve issues with metitarski
. DONE theory PowerReal
. crashes when applied on a WP (see examples/my_cosine.mlw)
...
...
@@ -178,6 +174,19 @@ updated configure.in and the manual
== DONE ==
* determine which is the minumum version of Ocaml to compile, and then
updated configure.in and the manual
-> vérification compilation avec OCaml 3.12 -> Claude va le faire
. 3.11.2: opam install menhir plante car ocamlfind ne compile pas
. 3.12.1: Why3 ne compile pas:
File "src/core/ident.ml", line 208, characters 2-14:
Error: Unbound value String.iteri
. 4.00.0: pas teste, et sans doute pas recommande
. 4.00.1: ca fonctionne
-> ocaml minimal = 4.00.1
DONE * sauvegarde de la configuration : à quel endroit dans l'IDE ?
-> Claude le met dans la fenetre preferences a cote du bouton "Close"
...
...
configure.in
View file @
834aa65f
...
...
@@ -171,8 +171,8 @@ OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version* *\(.*\)$|\1|p' `
echo "ocaml version is $OCAMLVERSION"
case "$OCAMLVERSION" in
0.*|1.*|2.*|3.
0
*|
3.10*|3.11|3.11.0*|3.11.1*
)
AC_MSG_ERROR(You need Objective Caml
3.11.2
or higher);;
0.*|1.*|2.*|3.*|
4.00.0
)
AC_MSG_ERROR(You need Objective Caml
4.00.1
or higher);;
esac
# Ocaml library path
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment