Skip to content
Snippets Groups Projects
Commit b6fd93d3 authored by Samuel Hym's avatar Samuel Hym
Browse files

Explicitly set CompCert source directory via opam

configure normally picks up the build directory for the coq-compcert
opam package as the default value form compcertdir
`opam var coq-compcert:build` returns sometimes (since opam 2.1?) an
empty result when called in configure, so set the directory explicitly
on the command line
parent 4c47439d
Branches
No related tags found
No related merge requests found
...@@ -11,7 +11,7 @@ depends: [ ...@@ -11,7 +11,7 @@ depends: [
"coq-elpi" {>= "1.9.5"} "coq-elpi" {>= "1.9.5"}
] ]
build: [ build: [
[ "./configure" "--cprinterdir=%{lib}%/dx" "--install-compcert-printer" ] [ "./configure" "--cprinterdir=%{lib}%/dx" "--compcertdir=%{coq-compcert:build}%" "--install-compcert-printer" ]
[ make ] [ make ]
] ]
install: [make "install"] install: [make "install"]
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment