Comments (3)
I've added libmpfr-dev, libmpfi-dev, libmpc-dev, libfplll-dev to the docker image in commit a6fbad8. The only missing dependency is on cxsc, because it does not seem to have a fully automated installation procedure, but has to be installed interactively (it asks to agree with the license, etc.) This is why I used ./configure --without-cxsc
to configure Float.
@laurentbartholdi, is this a serious limitation, and do you know a better way to install cxsc by any chance?
from gap-docker.
@sebasguts & @laurentbartholdi: since we now build `gap-docker-base' manually, perhaps we may consider adding CXSC there as well?
from gap-docker.
https://github.com/gap-system/gap-docker-base/blob/master/Dockerfile now install CSXC as well.
from gap-docker.
Related Issues (19)
- Upgrade to GAP 4.7.9 HOT 6
- Missing main GAP manuals HOT 3
- Upgrade to GAP 4.8.2 HOT 17
- Building Carat package HOT 1
- Upgrade to GAP 4.8.5 HOT 6
- Testing GAP 4.9.1 update HOT 1
- Getting PolymakeInterface to work HOT 5
- Failed tests after switch to gcc-7 in new bionic GAP 4.9.1 container HOT 8
- Why is "sudo" recommended in the README? HOT 2
- HPC-GAP Docker container
- Missing GAP manuals HOT 2
- Add setup for Francy package
- Version-specific tags HOT 1
- errors in manual examples HOT 2
- last2 reported as not documented HOT 1
- Improving documentation for users of GAP docker container HOT 3
- UnitLib is unable to save files HOT 4
- Getting AtlasRep to work HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from gap-docker.