source:
Deliverables/D5.1/frama-c-cost-plugin/Nitrogen/configure.ac
@
2749
| Last change on this file since 2749 was 2749, checked in by , 8 years ago | |
|---|---|
| File size: 209 bytes | |
| Line | |
|---|---|
| 1 | # |
| 2 | # Autoconf |
| 3 | # |
| 4 | AC_INIT(configure.ac) |
| 5 | |
| 6 | AC_CHECK_PROGS([ACC],[acc]) |
| 7 | AC_SUBST(ACC) |
| 8 | |
| 9 | AC_CHECK_PROGS([FRAMAC],[frama-c]) |
| 10 | AC_SUBST(FRAMAC) |
| 11 | |
| 12 | AC_OUTPUT(Makefile) |
| 13 | AC_OUTPUT(frama-c_jessie) |
| 14 | AC_OUTPUT(wrapper/Makefile) |
| 15 |
Note: See TracBrowser
for help on using the repository browser.
