Revision b2ad5de3
Added by LĂ©lio Brun over 3 years ago
dune | ||
---|---|---|
51 | 51 |
cmake |
52 | 52 |
"-DSUBPROJ=\"unstable\"" |
53 | 53 |
"-DLUSTRE_INCLUDE_DIR=%{project_root}/include" |
54 |
"-DLUSTRE_COMPILER=%{bin:lustrec}" |
|
54 | 55 |
.) |
55 | 56 |
(run |
56 | 57 |
ctest |
... | ... | |
59 | 60 |
-R |
60 | 61 |
"COMPIL_LUS|MAKE|BIN|DIFF" |
61 | 62 |
-E |
62 |
LUSTRET |
|
63 |
--progress))))) |
|
63 |
LUSTRET) |
|
64 |
)))) |
Also available in: Unified diff
fix tests procedure