Project

General

Profile

« Previous | Next » 

Revision 9c4cc944

Added by Corentin Lauverjat over 1 year ago

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

View differences:

share/FindLustre.cmake.in
1
# @configure_input@
2
#
1 3
# - Find Lustre compiler
2 4
# Find the Lustre synchronous language compiler with associated includes path.
3 5
# See https://cavale.enseeiht.fr/redmine/projects/lustrec

Also available in: Unified diff