diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 6a369dc..a6550e0 100755 --- a/debian/rules +++ b/debian/rules @@ -10,6 +10,7 @@ #export DH_VERBOSE=1 +OCAMLABI := $(shell ocamlc -version) CFLAGS = -Wall -g @@ -90,7 +91,7 @@ binary-arch: build install # dh_makeshlibs dh_installdeb dh_shlibdeps - dh_gencontrol + dh_gencontrol -- -VF:OCamlABI="$(OCAMLABI)" dh_md5sums dh_builddeb |