X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2FMakefile;h=3303e7a5996d0d57e642dd32fc0c7eaa30ce124a;hb=b4a67321811bdc123636eaa0f117d5308cb7a07b;hp=b9c7c651b14fbd148ce7d435e67a2c4ea9df20d7;hpb=a970a6b5d44947e466b94ff3df4fa66d85d0d9ca;p=helm.git diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index b9c7c651b..3303e7a59 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -23,8 +23,10 @@ MODULES = \ cic_exportation \ metadata \ library \ + ng_kernel \ acic_content \ grafite \ + ng_cic_content \ content_pres \ cic_unification \ whelp \ @@ -33,10 +35,8 @@ MODULES = \ disambiguation \ cic_disambiguation \ lexicon \ - ng_kernel \ ng_refiner \ ng_disambiguation \ - ng_cic_content \ grafite_parser \ ng_tactics \ grafite_engine \