Commit 74b39f31 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Avoid a data race due to LIBDIR and OCAMLINSTALLLIB being the same directory on opam.

This commit also marks the dependency on ocamlfind as being build-only.
parent b663374c
...@@ -30,7 +30,7 @@ build: [ ...@@ -30,7 +30,7 @@ build: [
[make "-j%{jobs}%" "all" "opt" "byte"] [make "-j%{jobs}%" "all" "opt" "byte"]
] ]
install: [make "install" "install-lib"] install: [make "install_no_local" "install_no_local_lib"]
remove: [ remove: [
["rm" "%{bin}%/why3"] ["rm" "%{bin}%/why3"]
...@@ -44,7 +44,7 @@ build-doc: [ ...@@ -44,7 +44,7 @@ build-doc: [
] ]
depends: [ depends: [
"ocamlfind" "ocamlfind" {build}
"menhir" "menhir"
"num" "num"
] ]
......
...@@ -33,6 +33,6 @@ depends: [ ...@@ -33,6 +33,6 @@ depends: [
depopts: [ depopts: [
"coq" "coq"
] ]
messages:[ messages: [
"Coq realizations of Why3 theories are only available if Coq is installed" { !coq:installed } "Coq realizations of Why3 theories are only available if Coq is installed" { !coq:installed }
] ]
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