summaryrefslogtreecommitdiff
path: root/debian/rules
blob: 0bc774f4524bc4889ac2a0d4856678c6f249dae8 (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
#!/usr/bin/make -f
# -*- makefile -*-
include /usr/share/ocaml/ocamlvars.mk

export OCAMLFIND_DESTDIR=$(CURDIR)/debian/tmp/$(OCAML_STDLIB_DIR)
export HAS_OCAMLOPT=$(OCAML_HAVE_OCAMLOPT)

%:
	dh $@ --with ocaml

.PHONY: override_dh_auto_clean
override_dh_auto_clean:
	$(MAKE) dist-clean

.PHONY: override_dh_auto_configure
override_dh_auto_configure:
	ocaml -unsafe-string configure.ml

.PHONY: override_dh_auto_build
override_dh_auto_build:
	dh_auto_build
	$(MAKE) -C bench doc.bench
	cd bench && ps2pdf doc.ps

.PHONY: override_dh_auto_install
override_dh_auto_install:
	$(MAKE) install INSTALLBIN=debian/tmp/usr/bin INSTALLMAN=debian/tmp/usr/share/man/man1
	mkdir -p debian/tmp/usr/share/doc/libmelt-ocaml-dev/html
	cp -a _build/latex/latex.docdir debian/tmp/usr/share/doc/libmelt-ocaml-dev/html/latex
	cp -a _build/melt/melt.docdir debian/tmp/usr/share/doc/libmelt-ocaml-dev/html/melt
	rm -f debian/tmp/usr/share/doc/libmelt-ocaml-dev/*/*.stamp