Package: extlib
Version: 1.4-3
Severity: serious
Tags: patch
Hi,
building the package extlib in a clean sid build environment
(with pbuilder) on i386 results in:
=========================================================================
[...]
Installing IO.cmi
Installing IO.cmx
Installing option.cmi
Installing option.cmx
Installing pMap.cmi
Installing pMap.cmx
Installing std.cmi
Installing std.cmx
Installing uChar.cmi
Installing uChar.cmx
Installing uTF8.cmi
Installing uTF8.cmx
Installing base64.cmi
Installing base64.cmx
Installing unzip.cmi
Installing unzip.cmx
Installing refList.cmi
Installing refList.cmx
Installing optParse.cmi
Installing optParse.cmx
Installing dllist.cmi
Installing dllist.cmx
Installing extLib.cma
Installing extLib.cmxa
Installing extLib.a
Done.cp -a extLib.ml *.mli
/tmp/buildd/extlib-1.4/debian/libextlib-ocaml-dev/usr/lib/ocaml/3.09.0/extlib/
cp -a META.txt
/tmp/buildd/extlib-1.4/debian/libextlib-ocaml-dev/usr/lib/ocaml/3.09.0/extlib/META
mv
/tmp/buildd/extlib-1.4/debian/libextlib-ocaml-dev/usr/lib/ocaml/3.09.0/extlib/extlib-doc/
/tmp/buildd/extlib-1.4/debian/libextlib-ocaml-dev/usr/share/doc/libextlib-ocaml-dev//html/
mv: target
`/tmp/buildd/extlib-1.4/debian/libextlib-ocaml-dev/usr/share/doc/libextlib-ocaml-dev//html/'
is not a directory: No such file or directory
make: *** [install] Error 1
=========================================================================
This patch fixes it:
=========================================================================
--- debian/rules.orig 2005-11-26 17:57:35.000000000 +0100
+++ debian/rules 2005-11-26 17:58:00.000000000 +0100
@@ -39,7 +39,7 @@
fi
cp -a extLib.ml *.mli $(DESTDIR)/
cp -a META.txt $(DESTDIR)/META
- mv $(DESTDIR)/extlib-doc/ $(DOCDIR)/html/
+ mv $(DESTDIR)/extlib-doc/ $(DOCDIR)/html
binary: binary-indep binary-arch
binary-indep: install
=========================================================================
Thanks for considering.
--
DARTS - Debian Archive Regression Test Suite
http://darts.alioth.debian.org/
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
