diff --git a/.gitignore b/.gitignore index 644d94b468710a9bea254e006745b48e59f7e2a3..917e87ef903ccf23519123a0ee72b84356078dd6 100644 --- a/.gitignore +++ b/.gitignore @@ -39,6 +39,7 @@ why3.conf /why3regtests.err /why3regtests.out /.merlin +/src/jessie/.merlin # /bench/ /bench/programs/good/booleans/ diff --git a/src/jessie/.merlin.in b/src/jessie/.merlin.in new file mode 100644 index 0000000000000000000000000000000000000000..05e4de1f736b21e5fb9a5ede01d3863ba6424f31 --- /dev/null +++ b/src/jessie/.merlin.in @@ -0,0 +1,3 @@ +REC + +FLG @FRAMAC_INCLUDE@