No puede seleccionar más de 25 temas
Los temas deben comenzar con una letra o número, pueden incluir guiones ('-') y pueden tener hasta 35 caracteres de largo.
Michele Calgaro
8240e69641
|
hace 3 meses | |
---|---|---|
.. | ||
src | hace 3 meses | |
CMakeL10n.txt | hace 5 años | |
CMakeLists.txt | hace 5 años | |
ChangeLog | hace 13 años | |
ConfigureChecks.cmake | hace 4 años | |
Makefile.am | hace 11 años | |
README.packagers | hace 15 años | |
RELEASE-PLAN | hace 6 años | |
TODO | hace 15 años | |
configure.in.bot | hace 15 años | |
configure.in.in | hace 9 años |
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