Follow

Une preuve de plus qu’, ce n’est pas vraiment fiable si vous voulez un système reproductible.

On a deux build, depuis les mêmes commits. L’un échoue, pas l’autre. ☹
travis-ci.org/github/Mbodin/pa
travis-ci.org/github/snu-sf/pa

Donc utilisez , , ou ce que vous voulez, mais opam seul ne suffit pas. L’avantage avec esy ou nix, c’est que les versions exactes (au commit près) de toutes les dépendances sont stockées : l’environnement de compilation est le même entre deux compilations.

À noter qu’esy — je ne sais pas pour nix — a besoin de certains invariants pour que cela s’applique correctement. Invariants qui sont malheureusement cassé par quelques bibliothèques Coq qui s’appuient sur coq_makefile pour leur installation. Il y a moyen de faire les choses bien avec coq_makefile, mais ça demande pas mal de configurations. Je conseille donc fortement l’utilisation de dune pour la compilation et l’installation : c’est très bien fait ☺

Sign in to participate in the conversation
Aleph

Generalistic Mastodon instance for open-minded people. Instance Mastodon généraliste pour personnes ouvertes d'esprit.