diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 19:09:15 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-02-05 21:43:14 -0500 |
| commit | 98ab18144c73e608e0af0356188b152ff4292ac6 (patch) | |
| tree | ae654075a487e8e1b75d9227134787f60387ebb2 | |
| parent | 1e579104a4abe47e156a145234962e57758f45f3 (diff) | |
debian/rules: Better documentation
| -rwxr-xr-x | debian/rules | 7 |
1 files changed, 6 insertions, 1 deletions
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 |