# 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