Full tests without plein_de_dks

I am not ready to offer the guarantee that this repo contains only compiling files.
GuillaumeGen · Sep 12, 2018 · 0b65d71 · 0b65d71
1 parent dc6fb32
commit 0b65d71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/GNUmakefile b/GNUmakefile
@@ -211,7 +211,7 @@ zenon_modulo: all
 light_tests: all matita-light dklib holide
 
 .PHONY: full_tests
-full_tests: light_tests iprover focalide plein_de_dks dedukti-libraries verine zenon_modulo
+full_tests: light_tests iprover focalide matita dedukti-libraries verine zenon_modulo
 
 
 #### Cleaning targets ########################################################