Commit af37e557 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Honor DESTDIR in coq-menhirlib/src/Makefile. Closes issue #25.

parent f4da0e11
Pipeline #83980 passed with stages
in 27 seconds
......@@ -18,8 +18,14 @@ clean:
@ $(MAKE) -f Makefile.coq --no-print-directory clean
@ rm -f _CoqProject
# The role of DESTDIR is explained here:
# https://www.gnu.org/prep/standards/html_node/DESTDIR.html
# Basically, it is empty in a normal installation.
# A nonempty value can be used to perform a dummy installation
# in a different location.
CONTRIB := $(shell $(COQBIN)coqc -where)/user-contrib
TARGET := $(CONTRIB)/MenhirLib
TARGET := $(DESTDIR)$(CONTRIB)/MenhirLib
install: all
rm -rf $(TARGET)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment