You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Michele Calgaro
f673794b12
|
1 year ago | |
---|---|---|
.. | ||
src | 1 year ago | |
CMakeL10n.txt | 6 years ago | |
CMakeLists.txt | 5 years ago | |
ChangeLog | 13 years ago | |
ConfigureChecks.cmake | 5 years ago | |
Makefile.am | 12 years ago | |
README.packagers | 15 years ago | |
RELEASE-PLAN | 6 years ago | |
TODO | 15 years ago | |
configure.in.bot | 15 years ago | |
configure.in.in | 10 years ago |
README.packagers
For full functionality (equation solver integration) Kalzium depends on Ocaml and the FaCiLe library. The FaciLe library is only used for compilation and for packagers. Ocaml webpage: http://caml.inria.fr/about/index.en.html download: http://caml.inria.fr/download.en.html FaCiLe webpage: http://www.recherche.enac.fr/opti/facile/ download: http://www.recherche.enac.fr/opti/facile/distrib/ If these 2 dependencies are not met, Kalzium will not propose the equation solver in its Tools menu. The Kalzium developers