X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fconfigure.ac;h=8e0335d9eb4a993989f01f6ba33e4ce89cfc4416;hb=d072c3ea699cf33189d18d8431fda9750fc2eb93;hp=06ebc0f3e7aa6654715e64ced4063351f8bd07be;hpb=5c30190ffa401334eb2fa9fab0be7db0de26a458;p=helm.git diff --git a/helm/software/configure.ac b/helm/software/configure.ac index 06ebc0f3e..8e0335d9e 100644 --- a/helm/software/configure.ac +++ b/helm/software/configure.ac @@ -84,6 +84,7 @@ helm-acic_procedural \ helm-content_pres \ helm-hgdome \ helm-tactics \ +helm-ng_tactics \ helm-cic_exportation \ " FINDLIB_CREQUIRES=" \