search

LPCIC / elpi

Embeddable Lambda Prolog Interpreter
GNU Lesser General Public License v2.1
290 stars 36 forks source link

Build for windows in CI #67

Closed gares closed 3 years ago

gares commented 4 years ago

Elpi 1.11.0 builds on windows using Coq's scripts: https://github.com/coq/coq/tree/master/dev/build/windows https://github.com/coq/coq/pull/12032

It would be nice to build the standalone elpi.exe in CI and make it a release asset.

gares commented 3 years ago

Done in 1.13.0