diff options
Diffstat (limited to 'coq-core.opam.template')
| -rw-r--r-- | coq-core.opam.template | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/coq-core.opam.template b/coq-core.opam.template new file mode 100644 index 0000000000..c0efccdc0f --- /dev/null +++ b/coq-core.opam.template @@ -0,0 +1,3 @@ +build-env: [ + [ COQ_CONFIGURE_PREFIX = "%{prefix}" ] +] |