HCoop / bpt / coccinelle.git / blame_incremental
| Commit | Line | Data |
|---|---|---|
| 1 | let version = "@COCCI_VERSION@" | |
| 2 | ||
| 3 | let path = | |
| 4 | try (Sys.getenv "COCCINELLE_HOME") | |
| 5 | with Not_found->"@prefix@/share/coccinelle" | |
| 6 | ||
| 7 | let std_iso = ref (Filename.concat path "standard.iso") | |
| 8 | let std_h = ref (Filename.concat path "standard.h") | |
| 9 | ||
| 10 | let dynlink_is_native = @DYNLINK_IS_NATIVE@ |