From 98ab18144c73e608e0af0356188b152ff4292ac6 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Thu, 5 Feb 2015 19:09:15 -0500 Subject: debian/rules: Better documentation --- debian/rules | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/debian/rules b/debian/rules index e49cab6..dd00125 100755 --- a/debian/rules +++ b/debian/rules @@ -7,21 +7,26 @@ export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed %: dh $@ --parallel +# make clean won't work unless there's already a Makefile.config. Create one +# before trying to clean. .PHONY: override_dh_auto_clean override_dh_auto_clean: touch Makefile.config dh_auto_clean +# The configure script distributed with CompCert is totally nonstandard. We'll +# run it manually. .PHONY: override_dh_auto_configure override_dh_auto_configure: /bin/true - .PHONY: override_dh_auto_build override_dh_auto_build: ./configure \ -prefix /usr -libdir /usr/lib/$(DEB_HOST_MULTIARCH) ia32-linux dh_auto_build +# The default installation procedure is fairly inflexible. We'll just install +# everything manually. .PHONY: override_dh_auto_install override_dh_auto_install: /bin/true -- cgit v1.2.3