From a0dbdd5fb5c65361137427f1a014a0736a43ebd5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 6 Nov 2007 12:29:13 +0000 Subject: [PATCH] cic_acic should be compiled before cic_exportation --- helm/software/components/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index 34020150a..01dabc9a6 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -19,8 +19,8 @@ MODULES = \ getter \ cic \ cic_proof_checking \ - cic_exportation \ cic_acic \ + cic_exportation \ metadata \ library \ acic_content \ -- 2.39.2