blob: efbbd248ad4e85992711b68610019c8785b7907e (
plain)
1
2
3
4
5
6
7
8
9
10
11
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
|
