Skip to content
GitLab
Explore
Sign in
Register
Commits on Source (3)
Avoid name space conflict with libopenmpi-java since both packages provide /usr/share/java/mpi.jar
· 4482bffe
Andreas Tille
authored
May 24, 2016
4482bffe
Merge tag 'debian/0.44+dfsg-3' into debian/jessie-backports
· 71a65f17
Andreas Tille
authored
May 30, 2016
71a65f17
Backport to Jessie
· 30f63c4b
Andreas Tille
authored
May 30, 2016
30f63c4b
Show whitespace changes
Inline
Side-by-side
debian/changelog
View file @
30f63c4b
mpj (0.44+dfsg-3~bpo8+1) jessie-backports; urgency=medium
* Rebuild for jessie-backports.
-- Andreas Tille <tille@debian.org> Mon, 30 May 2016 21:52:39 +0200
mpj (0.44+dfsg-3) unstable; urgency=medium
* Avoid name space conflict with libopenmpi-java since both packages
provide /usr/share/java/mpi.jar
-- Andreas Tille <tille@debian.org> Tue, 24 May 2016 20:58:36 +0200
mpj (0.44+dfsg-2~bpo8+1) jessie-backports; urgency=medium
* Rebuild for jessie-backports.
...
...
debian/rules
View file @
30f63c4b
...
...
@@ -20,11 +20,17 @@ override_dh_install:
sed '1a export MPJ_HOME=$(MPJ_HOME)' $${bin} > $(BINDIR)/$${realbin} ; \
done
override_dh_link:
dh_link
mkdir $(LIBDIR)/lib
for lib in lib/* ; do \
ln -s ../../java/`basename $${lib}` $(LIBDIR)/$${lib} ; \
override_jh_installlibs:
jh_installlibs
# Amongst the resulting JARs we have /usr/share/java/mpi.jar which is
# also in libopenmpi-java. So all JARs will go into private MPJ_HOME
# and only /usr/share/java/mpj.jar will be exposed in /usr/share/java
mkdir -p $(LIBDIR)/lib
mv debian/$(DEBPKGNAME)/usr/share/java/* $(LIBDIR)/lib
mkdir -p debian/$(DEBPKGNAME)/usr/share/java/
for lib in $(LIBDIR)/lib/mpj[-.0-9]*jar ; do \
echo "linking $${lib}" ; \
ln -s ../mpj/lib/`basename $${lib}` debian/$(DEBPKGNAME)/usr/share/java/`basename $${lib}` ; \
done
override_dh_fixperms:
...
...