Revision ed736b69
Added by Pierre-Loïc Garoche over 8 years ago
| Makefile.in | ||
|---|---|---|
| 47 | 47 |
install -m 0755 $(LOCAL_BINDIR)/* ${bindir}
|
| 48 | 48 |
mkdir -p ${includedir}/lustrec
|
| 49 | 49 |
cp include/* ${includedir}/lustrec
|
| 50 |
mkdir -p ${datadir}
|
|
| 50 | 51 |
install -m 0655 share/FindLustre.cmake ${datadir}
|
| 51 | 52 |
|
| 52 | 53 |
.PHONY: compile-lusi doc dot lustrec lustrec.odocl clean install dist-clean |
Also available in: Unified diff
Merge of last trunk commits
Added fbyn(expr, n, init) to encode
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init