with-ampl ne marche plus en 2.8.9

bneveu commented 4 years ago

configure avec ampl ne marche plus. meme si on fait configure -- with-ampl , il y a une erreur avec ibexopt en lisant des fichiers .nl

Cannot read ".NL" files: AMPL plugin required

gchabert commented 4 years ago

Je ne reproduis pas le problème. Peut-être est-ce juste un problème de mise à jour du plugin. Pour info, voilà comment je procède désormais avec les plugins depuis la version 2.8.8; ça me paraît une bonne façon de faire, alors je partage:

J'ai créé un répertoire global ibex (comme une sorte de workspace).
A l'intérieur j'ai les clones de tous les repositories git, donc ibex-lib (le noyau) et les plugins comme ibex-ampl.
Je peux donc faire un "git pull" dans chacun de ces sous-répertoires pour me mettre à jour.
J'ai créé ensuite des liens symboliques dans ibex-lib/plugins vers les plugins, ex:
```
~/ibex/ibex-lib/plugins$ ln -s ../../ibex-ampl/ ibex-ampl
```
Je peux ensuite faire waf configure et waf install comme autrefois.

gchabert commented 4 years ago

PS: Évidemment, l'idéal serait que les plugins soient portés sous cmake (on ne devrait plus utiliser waf), mais en attendant...

bneveu commented 3 years ago

OK. C'est bon maintenant.

ibex-team / ibex-lib

with-ampl ne marche plus en 2.8.9 #481