Skip to content
Snippets Groups Projects
Select Git revision
1 result Searching

opam

  • Samuel Hym's avatar
    b6fd93d3
    Explicitly set CompCert source directory via opam · b6fd93d3
    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
    b6fd93d3
    History
    Explicitly set CompCert source directory via 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