3
# Sample debian/rules that uses debhelper.
4
# This file was originally written by Joey Hess and Craig Small.
5
# As a special exception, when this file is copied by dh-make into a
6
# dh-make output file, you may use that output file without restriction.
7
# This special exception was added by Craig Small in version 0.37 of dh-make.
9
# Uncomment this to turn on verbose mode.
12
# Include dpatch stuff.
13
include /usr/share/dpatch/dpatch.make
15
DESTDIR := $(CURDIR)/debian/menhir
18
build-stamp: patch-stamp
20
if [ -e /usr/bin/ocamlopt ]; then \
21
$(MAKE) menhir PREFIX=/usr; \
23
$(MAKE) menhir.byte PREFIX=/usr; \
24
mv menhir.byte menhir; \
31
rm -f build-stamp configure-stamp
43
# $(MAKE) install PREFIX=$(CURDIR)/debian/menhir/usr
44
cp menhir $(DESTDIR)/usr/bin/
45
cp standard.mly $(DESTDIR)/usr/share/menhir/
48
# Build architecture-independent files here.
49
binary-indep: build install
50
# We have nothing to do by default.
52
# Build architecture-dependent files here.
53
binary-arch: build install
56
dh_installchangelogs CHANGES
60
dh_installman menhir.1
71
binary: binary-indep binary-arch
72
.PHONY: build clean binary-indep binary-arch binary install configure patch unpatch