Installation of Flint corrected

Author: Winfried Bruns

.ci-install-normaliz.sh

@@ -24,6 +24,7 @@ fi
 
 [ "$COCOALIB" == "yes" ] && ./install_scripts_opt/install_nmz_cocoa.sh && echo "cocoalib complete!"
 [ "$FLINT" == "yes" ] && ./install_scripts_opt/install_nmz_flint.sh && echo "flint complete!"
+[ "$EANTIC" == "yes" ] && ./install_scripts_opt/install_nmz_flint.sh && echo "flint complete!"
 [ "$EANTIC" == "yes" ] && ./install_scripts_opt/install_nmz_arb.sh && echo "arb complete!"
 [ "$EANTIC" == "yes" ] && ./install_scripts_opt/install_nmz_e-antic.sh && echo "e-antic complete!"
 [ "$NAUTY" == "yes" ] && ./install_scripts_opt/install_nmz_nauty.sh && echo "nauty complete!"

.github/workflows/ci.yml

@@ -15,7 +15,7 @@ jobs:
       - uses: actions/checkout@v2
       - name: "Install prerequisites and Normaliz"
         run: |
-          sudo apt-get install libgmp-dev libflint-dev
+          sudo apt-get install libgmp-dev
           pip install coverage
           pip3 install coverage
           pip install setuptools

NormalizModule.cpp

@@ -18,8 +18,10 @@ using std::string;
 
 #include <libnormaliz/libnormaliz.h>
 
+#ifdef ENFNORMALIZ
 using eantic::renf_elem_class;
 using eantic::renf_class;
+#endif 
 
 using libnormaliz::Cone;
 // using libnormaliz::ConeProperty;