Merge pull request #1108 from stan-dev/remove-dune-signature-tests

Remove signature tests from dune runtest

Author: WardBrian

Makefile

@@ -1,8 +1,9 @@
 all:
 	dune build src/stanc/stanc.exe
 
-TEST_DUNES := $(foreach d,$(shell find test/integration -type d),$(d)/dune)
-test: $(TEST_DUNES)
+.PHONY: doc test
+
+test:
 	dune runtest
 
 format:
@@ -17,31 +18,7 @@ static:
 clean:
 	dune clean
 
-.PHONY: doc
 doc:
 	dune build @doc
 
 re: clean all
-
-test/integration/examples-good/%/dune: test/integration/examples-good/dune
-	echo "(include `echo "$*/" | sed -e "s|[^/]*/|../|g"`dune)" > $@
-
-test/integration/examples-bad/%/dune: test/integration/examples-bad/dune
-	echo "(include `echo "$*/" | sed -e "s|[^/]*/|../|g"`dune)" > $@
-
-test/integration/included/%/dune: test/integration/included/dune
-	echo "(include `echo "$*/" | sed -e "s|[^/]*/|../|g"`dune)" > $@
-
-test/integration/model-name/%/dune: test/integration/model-name/dune
-	echo "(include `echo "$*/" | sed -e "s|[^/]*/|../|g"`dune)" > $@
-
-test/integration/rstanarm/%/dune: test/integration/rstanarm/dune
-	echo "(include `echo "$*/" | sed -e "s|[^/]*/|../|g"`dune)" > $@
-
-test/integration/example-models/%/dune: test/integration/example-models/dune
-	echo "(include `echo "$*/" | sed -e "s|[^/]*/|../|g"`dune)" > $@
-
-OG_TEST_DUNES := test/integration/dune test/integration/examples-bad/dune test/integration/examples-good/dune test/integration/included/dune test/integration/model-name/dune test/integration/rstanarm/dune test/integration/example-models/dune
-
-clean-test-dunes:
-	rm -rf $(filter-out $(OG_TEST_DUNES),$(TEST_DUNES))

test/integration/good/function-signatures/README.txt

@@ -0,0 +1,2 @@
+These folders are not included in the Dune tests due to the sheer number of files.
+They are tested as part of the Jenkins CI that compiles all models in test/integration/good to binaries.