From f934cdaeb12a86c2c51edf72bf77acc8a63fd41b Mon Sep 17 00:00:00 2001 From: Lukas Schnelle Date: Thu, 17 Aug 2023 11:21:54 +0200 Subject: [PATCH 1/7] add example for package extensions --- doc/ref/gappkg.xml | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index 4ca9bdc713..bd2273aa5e 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1299,6 +1299,23 @@ each being a record with the following components. +

+ +As an example the following as part of the PackageInfo.g load the file fileForB.gd as soon as package B is loaded and fileForC.gi once package C is loaded. + + + Whenever is called, &GAP; checks for package extensions whose conditions now are satisfied, and loads them. From 1c22c21454e1189afdfb72161470292de4812df5 Mon Sep 17 00:00:00 2001 From: Lukas Schnelle <33157020+schnellecom@users.noreply.github.com> Date: Fri, 18 Aug 2023 09:28:27 +0200 Subject: [PATCH 2/7] change to absolute file path Co-authored-by: Max Horn --- doc/ref/gappkg.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index bd2273aa5e..4948487708 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1307,7 +1307,7 @@ As an example the following as part of the PackageInfo.g load the file Date: Fri, 18 Aug 2023 09:28:35 +0200 Subject: [PATCH 3/7] change to absolute file path 2 Co-authored-by: Max Horn --- doc/ref/gappkg.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index 4948487708..f096739418 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1311,7 +1311,7 @@ Extensions := [ ), rec( needed := [ ["C", "0.6"] ], - filename := "./gap/fileForC.gi", + filename := "gap/fileForC.gi", ) ], ]]> From 28386ea732963cf7ab8349fe1cb4952b331e6c16 Mon Sep 17 00:00:00 2001 From: Lukas Schnelle <33157020+schnellecom@users.noreply.github.com> Date: Fri, 18 Aug 2023 09:31:18 +0200 Subject: [PATCH 4/7] Use different version number in example Co-authored-by: Max Horn --- doc/ref/gappkg.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index f096739418..4b902e19de 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1310,7 +1310,7 @@ Extensions := [ filename := "gap/fileForB.gd", ), rec( - needed := [ ["C", "0.6"] ], + needed := [ ["C", "1.2"] ], filename := "gap/fileForC.gi", ) ], From 7ac450a68c5e4b8210b3f7cff7d9c9dc3f83dd08 Mon Sep 17 00:00:00 2001 From: Lukas Schnelle Date: Fri, 18 Aug 2023 09:33:27 +0200 Subject: [PATCH 5/7] add second dependency to example --- doc/ref/gappkg.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index 4b902e19de..27500ff3a2 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1310,8 +1310,8 @@ Extensions := [ filename := "gap/fileForB.gd", ), rec( - needed := [ ["C", "1.2"] ], - filename := "gap/fileForC.gi", + needed := [ ["C", "1.2"] , ["D", "0.1"] ], + filename := "gap/fileForCD.gi", ) ], ]]> From 3e68fd51111d0203e5fe7c8c6faadb850fe3f5e1 Mon Sep 17 00:00:00 2001 From: Lukas Schnelle <33157020+schnellecom@users.noreply.github.com> Date: Fri, 18 Aug 2023 09:35:46 +0200 Subject: [PATCH 6/7] Improve text for example Co-authored-by: Max Horn --- doc/ref/gappkg.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index 4b902e19de..1f28fbc607 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1301,7 +1301,10 @@ each being a record with the following components.

-As an example the following as part of the PackageInfo.g load the file fileForB.gd as soon as package B is loaded and fileForC.gi once package C is loaded. +As an example suppose the following is part of the PackageInfo.g. +Then &GAP; will load the file fileForB.gd as soon as package +B is loaded in version 0.6 or newer, and fileForC.gi once +package C is loaded in version 1.2 or newer. Date: Fri, 18 Aug 2023 09:38:34 +0200 Subject: [PATCH 7/7] change text for example for second dependency --- doc/ref/gappkg.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/ref/gappkg.xml b/doc/ref/gappkg.xml index 16ea1ad040..6b97ebd47b 100644 --- a/doc/ref/gappkg.xml +++ b/doc/ref/gappkg.xml @@ -1303,8 +1303,8 @@ each being a record with the following components. As an example suppose the following is part of the PackageInfo.g. Then &GAP; will load the file fileForB.gd as soon as package -B is loaded in version 0.6 or newer, and fileForC.gi once -package C is loaded in version 1.2 or newer. +B is loaded in version 0.6 or newer, and fileForCD.gi once +package C and D are loaded in version 1.2 and 0.1 or newer respectively.