]> matita.cs.unibo.it Git - helm.git/commitdiff
Order of compilation of the modules fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2006 13:56:15 +0000 (13:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Feb 2006 13:56:15 +0000 (13:56 +0000)
helm/software/components/Makefile

index c16dc0e714fc20cb27c827d2eec83af70e8378f5..718c14b911537694710a3f5df227ae3c54bcabfc 100644 (file)
@@ -20,11 +20,11 @@ MODULES =                   \
        cic                     \
        cic_proof_checking      \
        cic_acic                \
+       metadata                \
+       library                 \
        acic_content            \
        content_pres            \
        grafite                 \
-       metadata                \
-       library                 \
        cic_unification         \
        whelp                   \
        tactics                 \