X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=configure.ac;h=b2f218d0ffede96bd7b79718e0bc13037b7da629;hb=530f6d29b866eb41b1a4195b15df8feaf6d5d6de;hp=3370b61b29bc4503ffe7969abb9d3ddcff234383;hpb=cf9784a6b94fa9045810d8559509b54dc9e65a4a;p=helm.git diff --git a/configure.ac b/configure.ac index 3370b61b2..b2f218d0f 100644 --- a/configure.ac +++ b/configure.ac @@ -82,6 +82,7 @@ helm-acic_procedural \ helm-content_pres \ helm-hgdome \ helm-tactics \ +helm-cic_exportation \ " FINDLIB_CREQUIRES=" \ $FINDLIB_COMREQUIRES \