ilsordo / Simplex

1 stars 1 forks source link

Première compilation #1

Closed yhamoudi closed 9 years ago

yhamoudi commented 9 years ago

J'essaye de compiler le code mais il y a plein de dépendances apparemment :( Il faut bien que j'installe les dépendances évoquées dans l'INSTALL.txt de l'archive oasis ?

ilsordo commented 9 years ago

J'écris un readme demain. Pour le moment il faut installer Oasis par opam (https://opam.ocaml.org/). Si tu veux je t'explique après la crypto.

yhamoudi commented 9 years ago

Je pense que j'ai réussi à installer ce qu'il faut. J'ai réussi à compiler le hello world \o/

Par contre je n'arrive pas à compiler ton dernier push. Il me dit ocamlfind: Packagezarith' not found. J'ai faitopam install zarith` (qui a fonctionné), c'est pas bon ?

ilsordo commented 9 years ago

Pour installer zarith il faut avoir libgmp-dev je crois (c'est pas du ocaml, c'est le vrai gmp). Je vais essayer d'avoir un truc cohérent d'ici à demain soir et j'écris un readme pout tout expliquer. Si tu es d'accord j'étais parti pour faire un solveur générique qui fonctionne sur plusieurs corps : les flottants, les rationnels par défaut de OCaml et les rationnels Zarith qui utilisent GMP. J'ai presque le parser de fini, je mets des commentaires partout et tu me diras ce que tu en penses.

Le lun. 13 avr. 2015 à 22:45, Yassine notifications@github.com a écrit :

Je pense que j'ai réussi à installer ce qu'il faut. J'ai réussi à compiler le hello world \o/

Par contre je n'arrive pas à compiler ton dernier push. Il me dit ocamlfind: Package `zarith' not found. J'ai fait opam install zarith (qui a fonctionné), c'est pas bon ?

— Reply to this email directly or view it on GitHub https://github.com/nagaaym/Simplex/issues/1#issuecomment-92493318.

yhamoudi commented 9 years ago

ok, j'essaye de faire marcher ma compilation demain. Pour le solveur générique : on doit supporter uniquement les rationnels je crois, mais ok pour faire + (sauf si ça devient trop pénible).

J'ai ajouté 2-3 trucs au parser sur une 2ème branche, tu peux continuer de là.

yhamoudi commented 9 years ago

En fait j'avais déjà installé gmp. J'ai essayé de corriger le bug, maintenant lorsque je fait make j'obtient :

ocaml setup.ml -build 
+ ocamlfind ocamldep -package zarith -modules src/main.ml > src/main.ml.depends
File "src/main.ml", line 2, characters 0-0:
Error: Syntax error
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
E: Failure("Command ''/usr/bin/ocamlbuild' src/main.native -use-ocamlfind -tag debug' terminated with error code 10")
Makefile:7: recipe for target 'build' failed
make: *** [build] Error 1

Je n'arrive pas à aller plus loin :(

yhamoudi commented 9 years ago

J'ai monté 1 machine virtuelle propre mais j'ai le même bug

ilsordo commented 9 years ago

Je vais modifier les fichiers pour que ça compile, je te dis quand c'est bon.

Le mer. 15 avr. 2015 à 11:08, Yassine notifications@github.com a écrit :

J'ai monté 1 machine virtuelle propre mais j'ai le même bug

— Reply to this email directly or view it on GitHub https://github.com/nagaaym/Simplex/issues/1#issuecomment-93274061.

yhamoudi commented 9 years ago

*2 machines virtuelles différentes (+ ma partition en dual boot), ça doit venir d'ubuntu (si ça marche sur ton ordi)

ilsordo commented 9 years ago

Ca ne compile pas pour le moment j'ai juste mis des bouts de code dans tous les sens.

Le mer. 15 avr. 2015 à 11:10, Yassine notifications@github.com a écrit :

*2 machines virtuelles différentes (+ ma partition en dual boot), ça doit venir d'ubuntu (si ça marche sur ton ordi)

— Reply to this email directly or view it on GitHub https://github.com/nagaaym/Simplex/issues/1#issuecomment-93275210.

yhamoudi commented 9 years ago

Tu réussis à compiler le parser ? J'obtient Syntax error: operator expected à la ligne 56 de parser.mly. ça compile si j'enlève les lignes 53 à 56.

yhamoudi commented 9 years ago

ça compile si j'enlève les 2 Lp. mais je sais pas si les warnings qui apparaissent sont normaux.

ilsordo commented 9 years ago

Tout compile sur ton dernier commit chez moi, sans warnings, tu as bien ocaml 4.02.1 et menhir?

yhamoudi commented 9 years ago

ok, j'ai mis à jour ma version d'ocaml (et menhir) voilà ce que j'ai fait (pour le readme plus tard) :

opam switch 4.02.1
eval `opam config env`
sudo opam install menhir

Mais j'ai ça maintenant :

File "src/lp.ml", line 1:
Error: src/field.cmi
is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.
yhamoudi commented 9 years ago

J'ai fait un make clean, ça a changé :

File "myocamlbuild.ml", line 1:
Error: /usr/lib/ocaml/ocamlbuild/ocamlbuild_plugin.cmi
is not a compiled interface for this version of OCaml.
It seems to be for an older version of OCaml.
yhamoudi commented 9 years ago

apparemment je n'ai pas complètement basculé sur la 4.02, je cherche

yhamoudi commented 9 years ago

bon, j'ai tout repris depuis le début sur une machine virtuelle propre (la 3ème...) et ça marche \o/ (j'ai pas réussi sur ma partition principale, je verrais ça plus tard)

ilsordo commented 9 years ago

Essaie de faire make distclean; oasis setup; make

Le Lun 20 Avr 2015 13:57, Yassine notifications@github.com a écrit :

apparemment je n'ai pas complètement basculé sur la 4.02, je cherche

— Reply to this email directly or view it on GitHub https://github.com/nagaaym/Simplex/issues/1#issuecomment-94432829.

yhamoudi commented 9 years ago

ah oui, maintenant ça marche sur ma première machine virtuelle (d'ailleurs j'ai oublié d'installer oasis sur la 3ème et pourtant ça compile, c'est normal ?)

yhamoudi commented 9 years ago

\o/ ça marche partout, même sur ma partition principale. merci :)

ilsordo commented 9 years ago

Oasis génère un makefile indépendant d'oasis. Par contre il faut refaire oasis setup si on change _oasis

Le Lun 20 Avr 2015 15:42, Yassine notifications@github.com a écrit :

\o/ ça marche partout, même sur ma partition principale. merci :)

— Reply to this email directly or view it on GitHub https://github.com/nagaaym/Simplex/issues/1#issuecomment-94454180.