]> matita.cs.unibo.it Git - helm.git/blobdiff - configure.ac
*** Very experimental and not branched ***
[helm.git] / configure.ac
index 3370b61b29bc4503ffe7969abb9d3ddcff234383..b2f218d0ffede96bd7b79718e0bc13037b7da629 100644 (file)
@@ -82,6 +82,7 @@ helm-acic_procedural \
 helm-content_pres \
 helm-hgdome \
 helm-tactics \
+helm-cic_exportation \
 "
 FINDLIB_CREQUIRES=" \
 $FINDLIB_COMREQUIRES \