diff options
Diffstat (limited to 'trunk/debian/rules')
-rwxr-xr-x | trunk/debian/rules | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/trunk/debian/rules b/trunk/debian/rules new file mode 100755 index 0000000..6827cc6 --- /dev/null +++ b/trunk/debian/rules @@ -0,0 +1,17 @@ +#!/usr/bin/make -f +# -*- makefile -*- +# Sample debian/rules that uses debhelper. +# This file was originally written by Joey Hess and Craig Small. +# As a special exception, when this file is copied by dh-make into a +# dh-make output file, you may use that output file without restriction. +# This special exception was added by Craig Small in version 0.37 of dh-make. + +# Uncomment this to turn on verbose mode. +#export DH_VERBOSE=1 + +%: + dh $@ --with ocaml + +override_dh_auto_install : + $(MAKE) install DESTDIR=$(CURDIR)/debian/ivy-ocaml + |