Select Git revision
opam
-
Samuel Hym authored
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
Samuel Hym authoredconfigure 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