Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add example for package extensions #5490

Merged
merged 10 commits into from
Aug 25, 2023
Merged

Add example for package extensions #5490

Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
f934cda
add example for package extensions
schnellecom Aug 17, 2023
1c22c21
change to absolute file path
schnellecom Aug 18, 2023
9e1ea28
change to absolute file path 2
schnellecom Aug 18, 2023
f81aea1
Merge branch 'master' of github.com:gap-system/gap
schnellecom Aug 18, 2023
28386ea
Use different version number in example
schnellecom Aug 18, 2023
13b906d
Merge branch 'master' of github.com:schnellecom/gap
schnellecom Aug 18, 2023
7ac450a
add second dependency to example
schnellecom Aug 18, 2023
3e68fd5
Improve text for example
schnellecom Aug 18, 2023
db95aa6
Merge branch 'master' of github.com:schnellecom/gap
schnellecom Aug 18, 2023
5a92d5f
change text for example for second dependency
schnellecom Aug 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 17 additions & 0 deletions doc/ref/gappkg.xml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1299,6 +1299,23 @@ each being a record with the following components.
</Item>
</List>

<P/>

As an example the following as part of the <F>PackageInfo.g</F> load the file <F>fileForB.gd</F> as soon as package <C>B</C> is loaded and <F>fileForC.gi</F> once package <C>C</> is loaded.
schnellecom marked this conversation as resolved.
Show resolved Hide resolved

<Log><![CDATA[
Extensions := [
rec(
needed := [ ["B", "0.6"] ],
filename := "./gap/fileForB.gd",
schnellecom marked this conversation as resolved.
Show resolved Hide resolved
),
rec(
needed := [ ["C", "0.6"] ],
schnellecom marked this conversation as resolved.
Show resolved Hide resolved
filename := "./gap/fileForC.gi",
schnellecom marked this conversation as resolved.
Show resolved Hide resolved
)
],
]]></Log>

Whenever <Ref Func="LoadPackage"/> is called,
&GAP; checks for package extensions whose conditions now are satisfied,
and loads them.
Expand Down