debian/0000755000000000000000000000000012216572571007176 5ustar debian/changelog-3.4.Debian0000644000000000000000000000227611146050053012525 0ustar gap (3.4.4-4) unstable; urgency=low * Package is orphaned; set maintainer to Debian QA Group. * Make sure debian/debstd is executable (closes: #94515). * /usr/bin/gap is copied from debian/gap.sh.debian, so force that to be executable too (dpkg-source won't preserve permissions). -- Colin Watson Wed, 4 Jul 2001 00:32:58 +0100 gap (3.4.4-3.1) unstable; urgency=low * NMU (Closes: #44338) * Made the FSSTND -> FHS transition. (Closes: #91161, #91468) * Upped Standards-Version to 3.5.2. -- Carlos Laviola Mon, 16 Apr 2001 00:24:51 -0400 gap (3.4.4-3) unstable; urgency=low * Support other archs, (I hope) * Fixed a few linitian bugs -- John Lapeyre Sun, 27 Sep 1998 19:03:08 -0700 gap (3.4.4-2) unstable; urgency=low * Moved to non-free because of non-commercial restriction -- John Lapeyre Sat, 8 Aug 1998 22:24:56 -0700 gap (3.4.4-1) unstable; urgency=low * Initial Release. -- John Lapeyre Wed, 21 Jan 1998 20:20:03 -0700 Local variables: mode: debian-changelog add-log-mailing-address: "lapeyre@physics.arizona.edu" End: debian/tarball0000644000000000000000000000156312174562715010551 0ustar #! /bin/bash set -e tarball="$1" if [ -z "$tarball" ]; then echo "tarball " 1>&2 exit 1 fi mkdir gap unzip $tarball -d gap cd gap version=$(grep VERSIONNUMBER gap*/doc/versiondata | sed -e 's/^/\1r\2p\3/') test -z $version && echo "GAP version not found" && exit 1 echo "GAP version: $version" mv gap* gap-$version cd gap-$version #tar xf etc/tools.tar.gz rm etc/tools.tar.gz rm -r bin etc/emacs rm extern/*.gz mkdir ../gap-gdat-$version ../gap-gdat mkdir ../gap-gdat/gap mv prim small trans ../gap-gdat/gap mkdir prim small trans cp ../gap-gdat/gap/prim/*.gd prim cp ../gap-gdat/gap/small/*.gd small cp ../gap-gdat/gap/trans/*.gd trans cd .. tar zcf gap-gdat-$version/gap-gdat.tar.gz -C gap-gdat gap tar zcf gap-gdat_$version.orig.tar.gz gap-gdat-$version tar zcf gap_$version.orig.tar.gz gap-$version debian/gap-doc.links0000644000000000000000000000012411146050053011532 0ustar usr/share/gap/doc usr/share/doc/gap-doc/doc usr/share/gap/doc usr/share/doc/gap/doc debian/gap-dev.manpages0000644000000000000000000000002111146050053012212 0ustar debian/doc/gac.1 debian/gap-core.manpages0000644000000000000000000000006311146050053012372 0ustar debian/doc/gap.1 debian/doc/update-gap-workspace.1 debian/gap-doc.doc-base.tut0000644000000000000000000000033612161575576012733 0ustar Document: gap-doc-tut Title: The GAP Tutorial Author: The GAP Group Abstract: This manual contains a tutorial introduction to GAP. Section: Science/Mathematics Format: pdf Files: /usr/share/doc/gap-doc/doc/tut/manual.pdf debian/gap-libs.install0000644000000000000000000000003112162042771012250 0ustar grp lib usr/share/gap debian/gap-online-help.install0000644000000000000000000000011412162051752013532 0ustar doc/manualbib.xml usr/share/gap/doc doc/manualbib.xml.bib usr/share/gap/doc debian/gap-dev.dirs0000644000000000000000000000001011146050053011356 0ustar usr/bin debian/gap-core.menu0000644000000000000000000000032211146050053011541 0ustar ?package(gap-core):needs="text" section="Applications/Science/Mathematics" \ title="GAP"\ command="/usr/bin/gap"\ icon="/usr/share/pixmaps/gap.xpm"\ longtitle="GAP - Groups, Algorithms and Programming" debian/update-gap-workspace0000644000000000000000000000125011146050053013125 0ustar #! /bin/sh set -e GAP="/usr/bin/gap" if ! test -x "$GAP"; then exit 0; fi if test `id -u` = 0; then WORKSPACE=/var/lib/gap/workspace else WORKSPACE=$HOME/gap/workspace fi case $1 in delete) echo -n "Deleting GAP workspace $WORKSPACE.gz: " rm -f $WORKSPACE.gz echo "done.";; ''|update) echo -n "Updating GAP workspace $WORKSPACE.gz: " rm -f $WORKSPACE.gz mkdir -p `dirname $WORKSPACE` echo 'SaveWorkspace("'$WORKSPACE'");' | $GAP -q -r -R >/dev/null gzip --best $WORKSPACE echo "done.";; *) echo "$0 update" echo " Update GAP workspace in $WORKSPACE.gz" echo echo "$0 delete" echo " Delete GAP workspace in $WORKSPACE.gz" ;; esac; debian/gap-core.postinst0000644000000000000000000000057112175320234012472 0ustar #!/bin/sh set -e case "$1" in triggered) # This is triggered by any installation of a GAP file if [ -e /var/lib/gap/workspace.gz ]; then update-gap-workspace update || echo "Cannot update GAP workspace" fi exit 0 ;; esac if [ -e /var/lib/gap/workspace.gz ]; then update-gap-workspace update || echo "Cannot update GAP workspace" fi #DEBHELPER# debian/patches/0000755000000000000000000000000012215064420010611 5ustar debian/patches/series0000644000000000000000000000022112215064233012023 0ustar mips-macfloat hurd-task_self config-sub-guess configure-gapdir configure-abi configure-fpic configure-ncurses doc-makefile gac-objects gac gac-o debian/patches/hurd-task_self0000644000000000000000000000067012214150474013456 0ustar Index: gap-4r6p5/src/system.c =================================================================== --- gap-4r6p5.orig/src/system.c 2013-07-20 21:02:26.000000000 +0200 +++ gap-4r6p5/src/system.c 2013-09-11 22:17:17.000000000 +0200 @@ -1326,7 +1326,7 @@ #include -#if defined(SYS_IS_DARWIN) && SYS_IS_DARWIN +#if (defined(SYS_IS_DARWIN) && SYS_IS_DARWIN) || defined(__gnu_hurd__) #define task_self mach_task_self #endif debian/patches/configure-fpic0000644000000000000000000000352312175204543013446 0ustar Index: gap-4r6p5/cnf/aclocal.m4 =================================================================== --- gap-4r6p5.orig/cnf/aclocal.m4 2013-07-20 21:02:02.000000000 +0200 +++ gap-4r6p5/cnf/aclocal.m4 2013-07-28 14:06:38.834868480 +0200 @@ -200,7 +200,7 @@ *-hpux-gcc ) gp_cv_prog_cc_cdynoptions="-fpic -Wall ${ABI_CFLAGS}";; *-gcc* | *-egcs ) - gp_cv_prog_cc_cdynoptions="-fpic -Wall -O2 ${ABI_CFLAGS}";; + gp_cv_prog_cc_cdynoptions="-fPIC -Wall -O2 ${ABI_CFLAGS}";; *-clang* ) gp_cv_prog_cc_cdynoptions="-fPIC -Wall ${ABI_CFLAGS} -Wno-unused-value";; *-icc* ) @@ -213,7 +213,7 @@ gp_cv_prog_cc_cdynoptions=" -O3 -woff 1110,1167,1174,1552";; * ) dnl ## if we don't recognise this compiler, guess some flags - gp_cv_prog_cc_cdynoptions="-fpic -O2 ${ABI_CFLAGS}";; + gp_cv_prog_cc_cdynoptions="-fPIC -O2 ${ABI_CFLAGS}";; esac ]) AC_CACHE_CHECK(dynamic linker, gp_cv_prog_cc_cdynlinker, Index: gap-4r6p5/cnf/configure.out =================================================================== --- gap-4r6p5.orig/cnf/configure.out 2013-07-28 13:05:27.210212327 +0200 +++ gap-4r6p5/cnf/configure.out 2013-07-28 14:06:53.895034438 +0200 @@ -4478,7 +4478,7 @@ *-hpux-gcc ) gp_cv_prog_cc_cdynoptions="-fpic -Wall ${ABI_CFLAGS}";; *-gcc* | *-egcs ) - gp_cv_prog_cc_cdynoptions="-fpic -Wall -O2 ${ABI_CFLAGS}";; + gp_cv_prog_cc_cdynoptions="-fPIC -Wall -O2 ${ABI_CFLAGS}";; *-clang* ) gp_cv_prog_cc_cdynoptions="-fPIC -Wall ${ABI_CFLAGS} -Wno-unused-value";; *-icc* ) @@ -4490,7 +4490,7 @@ *-irix* ) gp_cv_prog_cc_cdynoptions=" -O3 -woff 1110,1167,1174,1552";; - * ) gp_cv_prog_cc_cdynoptions="-fpic -O2 ${ABI_CFLAGS}";; + * ) gp_cv_prog_cc_cdynoptions="-fPIC -O2 ${ABI_CFLAGS}";; esac fi debian/patches/doc-makefile0000644000000000000000000000236312175033604013065 0ustar Index: gap-4r6p5/doc/Makefile =================================================================== --- /dev/null 1970-01-01 00:00:00.000000000 +0000 +++ gap-4r6p5/doc/Makefile 2013-07-27 23:11:04.365369025 +0200 @@ -0,0 +1,29 @@ +SHELL=/bin/bash +pkgdocdir=/usr/share/gap/doc +DOCDIR=$(DESTDIR)$(pkgdocdir) +DIRS={ref,tut,changes} +clean: + rm -f $(DIRS)/*.{html,txt,css,js} + rm -f $(DIRS)/make_manuals.out + rm -f $(DIRS)/main.{aux,bbl,blg,brf,idx,ilg,ind,log,out,pnr,tex,toc,toc.gz} + rm -f $(DIRS)/manual{,-bw}.{lab,six,six.gz,pdf} + rm -f manualbib.xml.bib wsp.g +install-pdf: + install -d $(DOCDIR)/$(DIRS) + set -e; for man in $(DIRS); do \ + install -o root -g root -m 0644 $$man/manual.pdf $(DOCDIR)/$$man;\ + done +install-help: + install -d $(DOCDIR)/$(DIRS) + set -e; for man in $(DIRS); do \ + gzip --best $$man/manual.six; \ + gzip --best $$man/main.toc; \ + install -o root -g root -m 0644 $$man/manual.six.gz $(DOCDIR)/$$man;\ + install -o root -g root -m 0644 $$man/main.toc.gz $(DOCDIR)/$$man;\ + install -o root -g root -m 0644 $$man/*.txt $(DOCDIR)/$$man;\ + done +install-html: + install -d $(DOCDIR)/$(DIRS) + set -e; for man in ref tut changes; do \ + install -o root -g root -m 0644 $$man/*.{html,css,js} $(DOCDIR)/$$man;\ + done debian/patches/gac-o0000644000000000000000000000064012175466343011541 0ustar Index: gap-4r6p5/cnf/gac.in =================================================================== --- gap-4r6p5.orig/cnf/gac.in 2013-07-29 15:21:28.260353905 +0200 +++ gap-4r6p5/cnf/gac.in 2013-07-29 15:23:41.274367698 +0200 @@ -449,6 +449,7 @@ c_link ${output} "${objects}" else + if [ "X${output}" = "X" ]; then output="${name}.so"; fi c_link_dyn ${output} "${objects}" fi debian/patches/configure-gapdir0000644000000000000000000000143112213422602013756 0ustar Index: gap-4r6p5/configure =================================================================== --- gap-4r6p5.orig/configure 2013-09-09 21:45:16.056166175 +0200 +++ gap-4r6p5/configure 2013-09-09 21:45:28.760351502 +0200 @@ -4073,7 +4073,7 @@ fi -gapdir=`pwd` +gapdir=/usr/share/gap Index: gap-4r6p5/configure.in =================================================================== --- gap-4r6p5.orig/configure.in 2013-09-09 21:45:16.056166175 +0200 +++ gap-4r6p5/configure.in 2013-09-09 21:46:00.488813958 +0200 @@ -52,7 +52,7 @@ AC_SUBST(BASECC) AC_PROG_MAKE_SET AC_SUBST(gapdir) -gapdir=`pwd` +gapdir=/usr/share/gap AC_ARG_VAR(CONFIGNAME,[Supply a (meaningful) name for the configuration you are building. This name will be appended to the architecture-dependent named debian/patches/mips-macfloat0000644000000000000000000000104412215064054013272 0ustar Index: gap-4r6p5/src/macfloat.h =================================================================== --- gap-4r6p5.orig/src/macfloat.h 2013-09-14 10:09:14.325904218 +0000 +++ gap-4r6p5/src/macfloat.h 2013-09-14 10:09:48.352929887 +0000 @@ -30,7 +30,7 @@ #define MATH(name) name #endif -#if !defined(SYS_IS_64_BIT) && defined(SPARC) +#if !defined(SYS_IS_64_BIT) && (defined(SPARC) || defined(__mips__)) #include static inline Double VAL_MACFLOAT(Obj obj) { Double __val; memcpy(&__val,ADDR_OBJ(obj),sizeof(Double)); return __val; } debian/patches/configure-ncurses0000644000000000000000000000200212175231621014173 0ustar configure: ddo not require ncurses to link readline Index: gap-4r6p5/cnf/configure.out =================================================================== --- gap-4r6p5.orig/cnf/configure.out 2013-07-28 17:06:45.000000000 +0200 +++ gap-4r6p5/cnf/configure.out 2013-07-28 17:06:45.000000000 +0200 @@ -5860,7 +5860,7 @@ $as_echo_n "(cached) " >&6 else ac_check_lib_save_LIBS=$LIBS -LIBS="-lreadline -lncurses $LIBS" +LIBS="-lreadline $LIBS" cat confdefs.h - <<_ACEOF >conftest.$ac_ext /* end confdefs.h. */ Index: gap-4r6p5/cnf/configure.in =================================================================== --- gap-4r6p5.orig/cnf/configure.in 2013-07-28 13:05:27.210212327 +0200 +++ gap-4r6p5/cnf/configure.in 2013-07-28 17:06:45.000000000 +0200 @@ -273,7 +273,7 @@ # TODO: Should also check for headers AC_CHECK_LIB([ncurses], [initscr]) - AC_CHECK_LIB([readline], [rl_gnu_readline_p], [], [with_readline=no], [-lncurses]) + AC_CHECK_LIB([readline], [rl_gnu_readline_p], [], [with_readline=no]) fi debian/patches/gac0000644000000000000000000000344112175314734011303 0ustar Index: gap-4r6p5/cnf/gac.in =================================================================== --- gap-4r6p5.orig/cnf/gac.in 2013-07-29 00:22:06.841061003 +0200 +++ gap-4r6p5/cnf/gac.in 2013-07-29 00:23:20.786225223 +0200 @@ -55,19 +55,14 @@ ## option is appended at the end of the link command after the .o ## files to link. ## -gap_bin=@gapbin@ -if [ "X${gap_bin}" = "X$0" ]; then - gap_dir="../../"; - gap_compiler="./gap"; - gap_binary="./"; -else - gap_dir="${gap_bin}/../.."; - gap_compiler="${gap_bin}/gap"; - gap_binary="${gap_bin}"; -fi +gap_dir=/usr/lib/gap +gap_compiler="/usr/bin/gap -R"; +gap_binary=/usr/lib/gap/bin; + gap_options="" -gap_include="${gap_dir}/src" +gap_include="" + stat_identifier="USER"; # These three should be filled in by the standard autoconf procedures @@ -120,9 +115,9 @@ ## c_compile () { echo ${c_compiler} $3 -o $1 -I${gap_dir} \ - -I${gap_bin} -DCONFIG_H -c $2 + -DCONFIG_H -c $2 ${c_compiler} $3 -o $1 -I${gap_dir} \ - -I${gap_bin} -DCONFIG_H -c $2 || exit 1 + -DCONFIG_H -c $2 || exit 1 } @@ -388,17 +383,17 @@ objects="${gactmp}/$$compstat.o ${objects}" } -make_tmpdir () { - basetmp=${TMPDIR:-/tmp}; #honor the TMPDIR environment variable. - gactmp="$basetmp/gac$$"; - mkdir "$gactmp" || exit 1; -} - -#On systems with mktemp(1) this function is better: -#make_tmpdir () -#{ -# gactmp=`mktemp -d -t "gacXXXXXXX"`; +#make_tmpdir () { +# basetmp=${TMPDIR:-/tmp}; #honor the TMPDIR environment variable. +# gactmp="$basetmp/gac$$"; +# mkdir "$gactmp" || exit 1; #} +# +#On systems with mktemp(1) this function is better: +make_tmpdir () +{ + gactmp=`mktemp -d -t "gacXXXXXXX"`; +} ############################################################################# ## debian/patches/gac-objects0000644000000000000000000000110312175310132012707 0ustar Index: gap-4r6p5/cnf/gac.in =================================================================== --- gap-4r6p5.orig/cnf/gac.in 2013-07-28 23:05:32.462700505 +0200 +++ gap-4r6p5/cnf/gac.in 2013-07-28 23:42:45.448730830 +0200 @@ -98,6 +98,7 @@ records.o saveload.o scanner.o sctable.o set.o \ stats.o streams.o string.o sysfiles.o system.o \ tietze.o vars.o vecgf2.o vecffe.o vec8bit.o \ + intfuncs.o \ vector.o weakptr.o iostream.o macfloat.o " EXTOBJS= debian/patches/configure-abi0000644000000000000000000000142712213423065013254 0ustar Index: gap-4r6p5/configure =================================================================== --- gap-4r6p5.orig/configure 2013-09-09 21:48:17.862810117 +0200 +++ gap-4r6p5/configure 2013-09-09 21:48:48.939260398 +0200 @@ -4118,7 +4118,7 @@ GMP_VER="$with_gmp" ;; system) - GMP_CFLAGS="-m${ABI}" + GMP_CFLAGS="${ABI_CFLAGS}" GMP_LIBS="-lgmp" MAKE_GMP="" ;; Index: gap-4r6p5/configure.in =================================================================== --- gap-4r6p5.orig/configure.in 2013-09-09 21:48:17.862810117 +0200 +++ gap-4r6p5/configure.in 2013-09-09 21:48:48.939260398 +0200 @@ -102,7 +102,7 @@ GMP_VER="$with_gmp" ;; system) - GMP_CFLAGS="-m${ABI}" + GMP_CFLAGS="${ABI_CFLAGS}" GMP_LIBS="-lgmp" MAKE_GMP="" ;; debian/patches/config-sub-guess0000644000000000000000000000207312161354667013735 0ustar Index: gap-4r6p4~pre1/cnf/config.guess =================================================================== --- gap-4r6p4~pre1.orig/cnf/config.guess 2013-05-04 18:36:28.000000000 +0200 +++ gap-4r6p4~pre1/cnf/config.guess 2013-06-22 19:05:46.000000000 +0200 @@ -1,4 +1,8 @@ #! /bin/sh + +# Use Debian provided config.guess +exec /usr/share/misc/config.guess "$@" + # Attempt to guess a canonical system name. # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 Index: gap-4r6p4~pre1/cnf/config.sub =================================================================== --- gap-4r6p4~pre1.orig/cnf/config.sub 2013-05-04 18:36:28.000000000 +0200 +++ gap-4r6p4~pre1/cnf/config.sub 2013-06-22 19:06:04.000000000 +0200 @@ -1,4 +1,8 @@ #! /bin/sh + +#Use Debian provided config.sub +exec /usr/share/misc/config.sub "$@" + # Configuration validation subroutine script. # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, # 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010 debian/compat0000644000000000000000000000000212161345311010361 0ustar 5 debian/changelog-4.2.Debian0000644000000000000000000000546611146050053012530 0ustar gap4 (4.2.fix8-1.1) unstable; urgency=low * Non-maintainer upload by sponsor while Markus is busy; this is just to get gap4 into the archive at long last and close all those RC bugs in other packages. * debian/control: Change section to non-free/math. * debian/rules: Make all documentation writeable by root (lintian). * Remove add-log-mailing-address from this changelog (lintian). -- Colin Watson Tue, 9 Oct 2001 03:41:55 +0100 gap4 (4.2.fix8-1) unstable; urgency=low * added bugfix 8 -- Markus Hetzmannseder Fri, 15 Jun 2001 11:25:29 +0200 gap4 (4.2.fix7-5) unstable; urgency=low * removed one of the two README.debian-files * removed upstream INSTALL-File * changed strip of gap-bin -- Markus Hetzmannseder Thu, 3 May 2001 12:03:18 +0200 gap4 (4.2.fix7-4) unstable; urgency=low * modified gap shellscript to handle -l and -m correct * removed doc of gac and test from /usr/share/gap4 -- Markus Hetzmannseder Wed, 25 Apr 2001 10:07:03 +0200 gap4 (4.2.fix7-3) unstable; urgency=low * *.ex files deleted * changed Standards-Version to 3.0.1 * added Build-Depends debhelper -- Markus Hetzmannseder Tue, 17 Apr 2001 10:54:46 +0200 gap4 (4.2.fix7-2) unstable; urgency=low * make /usr/doc symlinks korrekt * replace dpkg-gencontrol to dh_gencontrol (lintian warning) * add #!/bin/sh to doc/manualindex (lintian warning) -- Markus Hetzmannseder Wed, 11 Apr 2001 11:33:30 +0200 gap4 (4.2.fix7-1) unstable; urgency=low * update to gap 4.2 fix7 * moved /usr/doc to /usr/share/doc * moved /usr/man to /usr/share/man * permissions for usr/lib/gap4/* change 0444 -> 0644 (lintian suggestion) -- Markus Hetzmannseder Wed, 28 Mar 2001 13:16:21 +0200 gap4 (4.1.fix7-4) unstable; urgency=low * added source of the manpages (pod-files) and minor change to the gap manpage. * suggestion for xgap4 added (X-frontend for GAP4) * changelog renamed to changelog.Debian (lintian suggestion) -- Markus Hetzmannseder Tue, 4 Jan 2000 09:29:39 +0100 gap4 (4.1.fix7-3) unstable; urgency=low * permissions for usr/lib/gap4/doc/* change 0444 -> 0644 * stripe for /usr/lib/gap4/bin/gap added * controlfile update Conflicts & Replace gap -- Markus Hetzmannseder Mon, 3 Jan 2000 15:07:27 +0100 gap4 (4.1.fix7-2) unstable; urgency=low * /usr/gap4 directory deleted -- Markus Hetzmannseder Mon, 3 Jan 2000 11:31:35 +0100 gap4 (4.1.fix7-1) unstable; urgency=low * Initial Release. * GAP-fixes up to fix are included * simple manpages for gap and gac written -- Markus Hetzmannseder Wed, 29 Dec 1999 14:08:12 +0100 Local variables: mode: debian-changelog End: debian/copyright0000644000000000000000000001016212213354040011113 0ustar This package was debianized by Bill Allombert on Thu, 26 Sep 2002 20:53:12 +0200 --Previous GAP packages (not GPL)-- GAP 4r2 was packaged by Markus Hetzmannseder on Wed, 29 Dec 1999 14:08:12 +0100. GAP 3.4 was packaged by John Lapeyre on Wed, 21 Jan 1998 20:20:03 -0700. ----------------------------------- It was downloaded from Website: Copyright: GPL On Debian GNU/Linux systems, the complete text of the GNU General Public License can be found in `/usr/share/common-licenses/GPL'. Full copyright statement: Copyright copyright (1987--2013) by the GAP Group, incorporating the Copyright copyright 1999, 2000 by School of Mathematical and Computational Sciences, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland being the Copyright copyright 1992 by Lehrstuhl D für Mathematik, RWTH, 52056 Aachen, Germany, transferred to St Andrews on July 21st, 1997. except for files in the distribution, which have an explicit different copyright statement. In particular, the copyright of packages distributed with GAP is usually with the package authors or their institutions. GAP is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. For details, see the file `GPL' in the `etc' directory of the GAP distribution or see URL If you obtain GAP please send us a short notice to that effect, e.g., an e-mail message to the address , containing your full name and address. This allows us to keep track of the number of GAP users. If you publish a mathematical result that was partly obtained using GAP, please cite GAP, just as you would cite another paper that you used (see below for sample citation). Also we would appreciate if you could inform us about such a paper. Specifically, please refer to [GAP] The GAP Group, GAP --- Groups, Algorithms, and Programming, Version 4.6.5; 2013 (http://www.gap-system.org) (Should the reference style require full addresses please use: ``Centre for Interdisciplinary Research in Computational Algebra, University of St Andrews, North Haugh, St Andrews, Fife KY16 9SS, Scotland; Lehrstuhl D für Mathematik, Rheinisch Westfälische Technische Hochschule, Aachen, Germany'') GAP is distributed by us without any warranty, to the extent permitted by applicable state law. We distribute GAP *as is* without warranty of any kind, either expressed or implied, including, but not limited to, the implied warranties of merchantability and fitness for a particular purpose. The entire risk as to the quality and performance of the program is with you. Should GAP prove defective, you assume the cost of all necessary servicing, repair or correction. In no case unless required by applicable law will we, and/or any other party who may modify and redistribute GAP as permitted above, be liable to you for damages, including lost profits, lost monies or other special, incidental or consequential damages arising out of the use or inability to use GAP. You are permitted to modify and redistribute GAP, but you are not allowed to restrict further redistribution. That is to say proprietary modifications will not be allowed. We want all versions of GAP to remain free. If you modify any part of GAP and redistribute it, you must supply a `README' document. This should specify what modifications you made in which files. We do not want to take credit or be blamed for your modifications. Of course we are interested in all of your modifications. In particular we would like to see bug-fixes, improvements and new functions. So again we would appreciate it if you would inform us about all modifications you make. debian/gap-core.links0000644000000000000000000000015211146054130011716 0ustar usr/share/man/man1/gap.1 usr/share/man/man1/gap.real.1 usr/lib/gap/sysinfo.gap usr/share/gap/sysinfo.gap debian/doc/0000755000000000000000000000000012216572571007743 5ustar debian/doc/gapdoc2man0000644000000000000000000000046311146050053011667 0ustar #! /usr/bin/perl -w while(<>) { /^%/ and next; s/\{\\GAP\}/GAP/g; /^\\Section{(.*)}/ and do {print ".SH \"$1\"\n";next;}; /^\\/ and next; /^&/ and next; /`-([^ ]+)' &/ and do {print ".TP\n\\fB\\-$1\\fR\n";next;}; /`-([^ ]+) (.*)' &/ and do {print ".TP\n\\fB\\-$1\\fR $2\n";next;}; print; } debian/doc/gap-policy.html/0000755000000000000000000000000012162362566012753 5ustar debian/doc/gap-policy.html/ch5.html0000644000000000000000000000354212162362566014324 0ustar Debian GAP Policy - Completion files

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy
Chapter 5 - Completion files

Do not forget to rebuild the completion files if you change a GAP library. The command below should do: 

      
     echo 'CreateCompletionFiles(".");' | gap -R -N

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap-policy.html/ch4.html0000644000000000000000000000375312162362566014327 0ustar Debian GAP Policy - Global GAP workspace

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy
Chapter 4 - Global GAP workspace

To allow GAP to start faster, Debian provides a global workspace file in /var/lib/gap/workspace.gz. This file is managed by update-gap-workspace. If this file exists, it will be automatically updated whenever a Debian GAP package is installed or upgraded, through a gap-core dpkg trigger.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap-policy.html/ch1.html0000644000000000000000000000403412162362566014315 0ustar Debian GAP Policy - Convention used in this policy

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy
Chapter 1 - Convention used in this policy

Since GAP and Debian have a different concept of package, we will use the following conventions:

  1. $pkg denote the name of the GAP package as stated on the GAP website.

  1. $package denote the name of your Debian package.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap-policy.html/ch2.html0000644000000000000000000000420412162362566014315 0ustar Debian GAP Policy - Package name

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy
Chapter 2 - Package name

Name of GAP packages ($pkg) are usually short and cryptic, like ctbllib. You should choose a more verbose name ($package) like gap-character-tables.

  1. $package must start by gap-.

  1. Package must provide gap-pkg-$pkg so GAP users can do apt-get gap-pkg-$pkg without having to guess $package.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap-policy.html/index.html0000644000000000000000000000431112162362566014747 0ustar Debian GAP Policy

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

Abstract

This unofficial policy describes the conventions that Debian packages of GAP (http://www.gap-system.org) components must follows to get along nicely with the gap-core package and others.

Contents

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap-policy.html/ch6.html0000644000000000000000000000462412162362566014327 0ustar Debian GAP Policy - Documentation

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy
Chapter 6 - Documentation

GAP packages come usually with extensive documentation.

  1. TeX files used by the online help system must be shipped.

  1. Documentation must be shipped preferably in dvi.gz and pdf.

  1. If both dvi.gz and pdf are provided, ps should not be provided.

  1. Ship the file manual.toc compressed. This enable SetHelpviewer() to function properly.

  1. Ship the documentation in HTML if it is possible to build it with free tools.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap-policy.html/ch3.html0000644000000000000000000000426712162362566014327 0ustar Debian GAP Policy - Installation

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy
Chapter 3 - Installation

GAP packages should be installed in the /usr/share/gap/pkg/$pkg directory. Architecture dependent part of the package should go to /usr/lib/gap/pkg/$pkg. You can provide symlinks if this is necessary.

If your package include large (say around 10Mb) datasets (library of groups, etc...), you should compress them (after checking GAP is able to automatically uncompress them) with gzip --best to save diskspace. Try to not compress source code files (.g files) if possible.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy

version 0.1, 25 juin 2013

Bill Allombert mailto:ballombe@debian.org

debian/doc/gap2man0000644000000000000000000000250411146050053011177 0ustar #! /bin/sh set -e PROG=`tempfile` cat >$PROG <&1;; --version) echo -n "GAP - Groups, Algorithms and Programming "; gap -h 2>&1 | grep Version | sed -e "s/^.*Version/Version/";; esac EOF chmod a+x $PROG EXTRA=`tempfile` cat >$EXTRA <<"EOF" [description] GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a pascal-like language. .SH OPTIONS [see also] .I gac(1) .I update-gap-workspace(1) .P You can read the complete manual in /usr/share/gap/doc or you can use the online help system. Type ?help inside GAP to access it. Type .P ?Reference: options!under UNIX .P to access the full documentation of options. .P [authors] The GAP Group [copyright] Copyright (1987--2006) by the GAP Group, GAP is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. EOF help2man --source="The GAP team" -N $PROG --include=$EXTRA -n "Groups, Algorithms and Programming" rm $PROG $EXTRA debian/doc/update-gap-workspace.10000644000000000000000000000303611146273400014040 0ustar .TH UPDATE-GAP-WORKSPACE "1" "July 2003" "Debian" "User Commands" .SH NAME update-gap-workspace \- manage a GAP workspace. .SH SYNOPSIS \&update-gap-workspace .PP \&update-gap-workspace update .IP Create or update the GAP workspace. .PP \&update-gap-workspace delete .IP Delete the GAP workspace. .SH DESCRIPTION At start up, GAP load all libraries and packages available on the system. This take several seconds. To save time, GAP can store the result of this initialisation in a `workspace'. .I update-gap-workspace help to manage such workspaces. .I update-gap-workspace can be run as root to manage the system-wide workspace. .I update-gap-workspace can be run as a normal user. In this case the workspace is stored in $HOME/gap/workspace.gz. .PP Note that you need to rebuild the workspace each time GAP packages are added, removed or updated. To automate that task, if the system-wide workspace exists, it is automatically updated whenever a GAP-related Debian package is installed or upgraded. .PP The gap script will automatically load such workspace at start up. .SH "FILES" .I /var/lib/gap/workspace.gz: .RS The system-wide GAP workspace. .RE .I $HOME/gap/workspace.gz: .RS The user-specific GAP workspace. .SH "SEE ALSO" .I gap(1), .I The \`SaveWorkspace' function in the GAP manual. .SH "AUTHOR" Bill Allombert .SH "NOTES" We are considering enabling the system-wide workspace per default, though this feature could be too confusing for old-time GAP users. If you have opinions about it, please mail . debian/doc/gac.10000644000000000000000000000436212162363220010551 0ustar .TH GAC "1" "March 2003" "The GAP team" "User Commands" .SH NAME GAC \- The GAP Compiler .SH SYNOPSIS .PP gac [\fB-c\fR|\fB-d\fR] [\fB-o \fR] {\fB-f