diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 12 | ||||
| -rwxr-xr-x | debian/rules | 2 |
2 files changed, 13 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 617ae87..772941f 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,15 @@ +ivy-ocaml (1.2-4~trusty) trusty; urgency=low + + * disable backwards compatibilty symlinks + + -- Felix Ruess <felix.ruess@gmail.com> Sun, 30 Mar 2014 14:58:34 +0200 + +ivy-ocaml (1.2-3~trusty) trusty; urgency=low + + * update for Ubuntu trusty ppa build on launchpad + + -- Felix Ruess <felix.ruess@gmail.com> Sun, 30 Mar 2014 14:09:56 +0200 + ivy-ocaml (1.2-2) unstable; urgency=low * fix install with COMPAT_SYMLINK_CREATE=no diff --git a/debian/rules b/debian/rules index f09e0b2..76e02ba 100755 --- a/debian/rules +++ b/debian/rules @@ -16,6 +16,6 @@ export OCAMLFIND_DESTDIR = $(DEB_OCAML_DESTDIR) override_dh_auto_install : mkdir -p $(DEB_OCAML_DESTDIR) mkdir -p $(DEB_OCAML_DESTDIR)/stublibs - $(MAKE) DESTDIR=$(DEB_DESTDIR) install + $(MAKE) DESTDIR=$(DEB_DESTDIR) COMPAT_SYMLINK_CREATE=n install .PHONY: override_dh_auto_install |