blob: 3cf8fe081b6b425df2c377d9bcb67e60422f4533 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
# Current coq version
COQ_VERSION ?= $(shell /usr/bin/coqc --version | grep version | sed 's/^.*version \(.*\) ([^)]*)$/\1/')
# Current coq ABI
COQ_ABI ?= $(shell cat /usr/lib/coq/abi)
# 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
|
