Open palmskog opened 5 years ago
Can you describe the advantages of using Nix compared to performing the steps in "Simple setup" in a single script?
Also, what would be the advantages of the use of Docker images for CI builds compared to our current setup using Travis?
I think we need a more concrete list of the pros and cons here.
The current HOLBA building and installation process requires many manual steps, such as installing a custom HOL4. This issue is about outlining and documenting possible improvements (automation) of building, installation, and packaging, which could facilitate wider use of the library.