您最多选择25个主题
主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符
Michele Calgaro
8240e69641
|
2 个月前 | |
---|---|---|
.. | ||
src | 2 个月前 | |
CMakeL10n.txt | 5 年前 | |
CMakeLists.txt | 5 年前 | |
ChangeLog | 12 年前 | |
ConfigureChecks.cmake | 4 年前 | |
Makefile.am | 11 年前 | |
README.packagers | 15 年前 | |
RELEASE-PLAN | 6 年前 | |
TODO | 15 年前 | |
configure.in.bot | 15 年前 | |
configure.in.in | 9 年前 |
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