File
Clear
Targets
+Elaborate
+NLustre
+Stc
+Obc
+Clight
Compile