From 352c23666babc7dd8f0136b02d9ef1893f9bde5c Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Mon, 23 Jan 2017 17:32:58 +0100 Subject: test suite for coq_makefile2 --- test-suite/coq-makefile/plugin1/_CoqProject | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test-suite/coq-makefile/plugin1/_CoqProject (limited to 'test-suite/coq-makefile/plugin1/_CoqProject') diff --git a/test-suite/coq-makefile/plugin1/_CoqProject b/test-suite/coq-makefile/plugin1/_CoqProject new file mode 100644 index 000000000..4eddc9d70 --- /dev/null +++ b/test-suite/coq-makefile/plugin1/_CoqProject @@ -0,0 +1,10 @@ +-R theories test +-R src test +-I src + +src/test_plugin.mllib +src/test.ml4 +src/test.mli +src/test_aux.ml +src/test_aux.mli +theories/test.v -- cgit v1.2.3