25개 이상의 토픽을 선택하실 수 없습니다.
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Michele Calgaro
8240e69641
|
3 달 전 | |
---|---|---|
.. | ||
src | 3 달 전 | |
CMakeL10n.txt | 5 년 전 | |
CMakeLists.txt | 5 년 전 | |
ChangeLog | 13 년 전 | |
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