On 11/04/2018 09:56 PM, Bill Allombert wrote:
> On Sun, Nov 04, 2018 at 05:50:37PM +0100, Tobias Hansen wrote:
>> Source: gap
>> Severity: wishlist
>>
>> Dear Bill,
>>
>> please ship libgap.la in the Debian package. Sagemath started using
>> gap's version of libgap so it would be much better for us if we could
>> do so as well. That way we could completely get rid of libgap-sage.
>>
>> As far as I see this would just amount to adding
>> $(MAKE) libgap.la
>> to debian/rules and installing that file in gap-dev (or another package).
> Hello Tobias,
>
> Thanks for your comment.
>
> Do you need libgap.la to be compiled with -fPIC or not ?
>
> What about /usr/lib/gap/bin/x86_64-pc-linux-gnu-default64/obj/ ?
>
> Please note that the next upstream version of GAP (4.10) will include libgap,
> but I do not know if we will have enough time to package it before the
> freeze.
>
> Cheers,
Hi Bill,
I tried to apply the unfinished sagemath patch from [1] today to test building
against gap's libgap, but the patch did not apply cleanly and from the comments
on the ticket it's unclear if the patch is already usable. I asked for advice
on the ticket, and think we should wait a bit until the situation is more
clear. I used the attached patch to gap to build libgap.la.
Best, Tobias
[1] https://trac.sagemath.org/ticket/22626
diff -Nru gap-4r9p3/debian/changelog gap-4r9p3/debian/changelog
--- gap-4r9p3/debian/changelog 2018-11-03 16:39:47.000000000 +0100
+++ gap-4r9p3/debian/changelog 2018-11-04 18:13:17.000000000 +0100
@@ -1,3 +1,9 @@
+gap (4r9p3-3) UNRELEASED; urgency=medium
+
+ * Ship libgap.la in package gap-dev. Closes: #912862.
+
+ -- Tobias Hansen <than...@debian.org> Sun, 04 Nov 2018 18:13:17 +0100
+
gap (4r9p3-2) unstable; urgency=low
* patch: fix-makefile: remove -A flag from gap call
diff -Nru gap-4r9p3/debian/rules gap-4r9p3/debian/rules
--- gap-4r9p3/debian/rules 2018-11-03 16:39:47.000000000 +0100
+++ gap-4r9p3/debian/rules 2018-11-04 18:12:40.000000000 +0100
@@ -49,6 +49,7 @@
mv obj pic
strip --strip-debug --remove-section=.comment --remove-section=.note
pic/.libs/*.o
$(MAKE) "CFLAGS=$(CFLAGS)"
+ $(MAKE) "CFLAGS=$(CFLAGS)" libgap.la
ifeq (,$(filter nocheck,$(DEB_BUILD_OPTIONS)))
env GAP_DIR=`pwd` LANG=C.UTF-8 $(MAKE) testinstall
endif
@@ -93,6 +94,7 @@
dh_install -p gap-dev gen/config.h ${gaptriplet}/bin
dh_install -p gap-dev src/*.h gen/*.h /usr/include/gap
dh_install -p gap-dev gen/config.h /usr/include/${triplet}/gap/
+ dh_install -p gap-dev libgap.la ${gaptriplet}
(cd debian/gap-dev/usr/include/${triplet}/gap/ && mv config.h
config-arch.h)
echo '#include <gap/config-arch.h>' >
debian/gap-dev/usr/include/gap/config.h
chmod 644 debian/gap-dev/usr/include/gap/config.h
