Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec
Suppress some commented code
add lusi option
Tiny modif on cmake target
Update FindLustre in order to handle a default VERBOSE option set to 0and the proper c99 compiler option
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@470 041b043f-8d7c-46b2-b46e-ef0dd855326e
Properly handle generated files
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@378 041b043f-8d7c-46b2-b46e-ef0dd855326e
Small update
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@374 041b043f-8d7c-46b2-b46e-ef0dd855326e
Add first version of FindLustre.cmake
git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@373 041b043f-8d7c-46b2-b46e-ef0dd855326e
View revisions
Also available in: Atom