blob: dd001250c514b60b88721b0b66a1212de878c584 (
plain)
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
36
|
#!/usr/bin/make -f
# -*- makefile -*-
# Avoid overlinking and reduce library dependencies.
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
.PHONY: override_dh_builddeb
override_dh_builddeb:
dh_builddeb -- -Zxz -z9
|
