From 8b83110b699f1c9fa561e0c2c863419604411e56 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 11 Oct 2006 12:25:27 +0000 Subject: [PATCH] The RELATIONAL contrib must be compiled before the others since the others depend on it. --- matita/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/Makefile b/matita/Makefile index 6b93a0f6e..5cf295834 100644 --- a/matita/Makefile +++ b/matita/Makefile @@ -203,9 +203,9 @@ distclean: clean TEST_DIRS = \ library \ tests \ + contribs/RELATIONAL \ contribs/LAMBDA-TYPES \ contribs/PREDICATIVE-TOPOLOGY \ - contribs/RELATIONAL \ $(NULL) .PHONY: tests tests.opt cleantests cleantests.opt -- 2.39.2