Installation instructions with PackageManager are incorrect #81

Activity

1. dvberkel commented on Sep 30, 2026

   

   dvberkel

   on Sep 30, 2026

   CollaboratorAuthor

   More actions

   The problem is a missing .git extension. The following code does succeed

   InstallPackage("https://github.com/gap-packages/PackageMaker.git");

   With the expected

   #I  Cloning to /home/dvberkel/.gap/pkg/PackageMaker ...
   #I  Package cloned successfully
   #I  Checking dependencies for PackageMaker...
   #I    AutoDoc >= 2018.02.14: true
   #I    io >= 3.0: true
   #I  Building documentation (using makedoc.g)...
   #I  Running compilation script on /home/dvberkel/.gap/pkg/PackageMaker ...
   #I    + GAPROOT=/home/dvberkel/org/gap-system/gap
   #I    + PKGDIR=/home/dvberkel/.gap/pkg/PackageMaker
   #I    + command -v gmake
   #I    + alias make=gmake
   #I    + cd /home/dvberkel/.gap/pkg/PackageMaker
   #I    + [ -x autogen.sh ]
   #I    + [ -x configure ]
   true
   
2. dvberkel commented on Sep 30, 2026

   

   dvberkel

   on Sep 30, 2026

   CollaboratorAuthor

   More actions

   I will provide a pull-request with this documentation change
3. dvberkel

   added a commit that references this issue on Sep 30, 2026

   Provide the correct PackageMaker installation command

   ...

   fa43b10
4. fingolfin

   added a commit that references this issue on Oct 1, 2026

   Provide the correct PackageMaker installation command (#82)

   ...

   4fd59fb
5. dvberkel commented on Oct 1, 2026

   

   dvberkel

   on Oct 1, 2026

   CollaboratorAuthor

   More actions

   This is solved by pull-request #82
6. dvberkel

   closed this as completedon Oct 1, 2026