-
Obtain a clone of the flint repo, eg
git clone https://github.com/flintlib/flint2
-
Checkout to the appropriate commit, eg
git checkout v2.9.0
-
Manually adjust the content of
types.pxd.template
(which will be used to generate types.pxd) -
Manually adjust the content of
flint_pxd_autogen/env.py
-
Run the
autogen.py
script, egpython autogen.py
-
Copy all the files generated in
pxd_headers
inside the sage source tree (ieSAGE_SRC/sage/libs/flint
)
-
Notifications
You must be signed in to change notification settings - Fork 1
videlec/flint-header-sage-autogen
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published