blob: dc650926f3a94920000e907dd0086d437c705901 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
--- Makefile.orig 2007-12-12 17:44:32.000000000 +0100
+++ Makefile 2008-04-25 12:12:02.000000000 +0200
@@ -20,10 +20,10 @@
$(error Please define PREFIX)
endif
-bindir := ${PREFIX}/bin
-docdir := ${PREFIX}/share/doc/menhir
-libdir := ${PREFIX}/share/menhir
-mandir := ${PREFIX}/share/man/man1
+bindir ?= ${PREFIX}/bin
+docdir ?= ${PREFIX}/share/doc/menhir
+libdir ?= ${PREFIX}/share/menhir
+mandir ?= ${PREFIX}/share/man/man1
MANS := menhir.1
DOCS := manual.pdf demos
LIBS := standard.mly
@@ -52,13 +52,15 @@
install:
mkdir -p $(bindir)
mkdir -p $(libdir)
- mkdir -p $(docdir)
mkdir -p $(mandir)
install menhir $(bindir)
install -m 644 $(LIBS) $(libdir)
- cp -r $(DOCS) $(docdir)
cp -r $(MANS) $(mandir)
+docinstall:
+ mkdir -p $(docdir)
+ cp -r $(DOCS) $(docdir)
+
uninstall:
rm -rf $(bindir)/menhir
rm -rf $(libdir)
|
