diff options
author | Stephane Glondu <steph@glondu.net> | 2009-02-20 13:22:06 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-20 15:11:28 +0100 |
commit | 0a402bcc74943503556478c1e2dc924f27d2a3d3 (patch) | |
tree | cd86b2943eac8279dddddbb911e7f85d0afdc314 /debian/coqvars.mk.in | |
parent | 72851683d176c05e44c56fea593c73e4691d3450 (diff) |
Generate coqvars.mk from debian/rules and drop /usr/lib/coq/abi
Diffstat (limited to 'debian/coqvars.mk.in')
-rw-r--r-- | debian/coqvars.mk.in | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/debian/coqvars.mk.in b/debian/coqvars.mk.in new file mode 100644 index 00000000..efbbd248 --- /dev/null +++ b/debian/coqvars.mk.in @@ -0,0 +1,12 @@ +# Current coq version +COQ_VERSION ?= @CoqVersion@ + +# Current coq ABI +COQ_ABI ?= @CoqABI@ + +# Standard library path +COQ_STDLIB_DIR ?= $(shell /usr/bin/coqc -where) + +# Directory for contributions +# External libraries should go there +COQ_USERCONTRIB_DIR ?= $(COQ_STDLIB_DIR)/user-contrib |