[CasADi] Update to version 3.7.2

C/CasADi/build_tarballs.jl

@@ -2,29 +2,39 @@ using BinaryBuilder, Pkg
 
 name = "CasADi"
 
-version = v"3.5.5"
+version = v"3.7.2"
 
 sources = [
     GitSource(
         "https://github.com/casadi/casadi.git",
-        "fadc86444f3c7ab824dc3f2d91d4c0cfe7f9dad5",
+        "f959d3175a444d763e4eda4aece48f4c5f4a6f90",
     ),
     DirectorySource("./bundled"),
 ]
 
 script = raw"""
 cd $WORKSPACE/srcdir/casadi
 install_license LICENSE.txt
-
 mkdir -p build
 cd build
 
-export CXXFLAGS="-fPIC -std=c++11"
+CXX_STANDARD="-std=c++11"
+CMAKE_CXX_STANDARD="11"
+if [[ "${target}" == *"mingw"* ]]; then
+    CXX_STANDARD="-std=c++14"
+    CMAKE_CXX_STANDARD="14"
+fi
+
+export CXXFLAGS="-fPIC ${CXX_STANDARD}"
 export CFLAGS="${CFLAGS} -fPIC"
 
 cmake -DCMAKE_INSTALL_PREFIX=${prefix} \
+    -DCMAKE_INSTALL_BINDIR=${bindir} \
+    -DCMAKE_INSTALL_LIBDIR=${libdir} \
+    -DCMAKE_INSTALL_INCLUDEDIR=${includedir} \
     -DCMAKE_TOOLCHAIN_FILE=${CMAKE_TARGET_TOOLCHAIN} \
     -DCMAKE_BUILD_TYPE=Release \
+    -DCMAKE_CXX_STANDARD=${CMAKE_CXX_STANDARD} \
     -DWITH_IPOPT=ON \
     -DWITH_EXAMPLES=OFF \
     -DWITH_DEEPBIND=OFF \
@@ -33,9 +43,12 @@ cmake -DCMAKE_INSTALL_PREFIX=${prefix} \
 make -j ${nproc}
 make install
 
+# Build amplexe
 cd $WORKSPACE/srcdir
-
-c++ main.cpp -o "${bindir}/amplexe${exeext}" -I"${includedir}" -L"${libdir}" -lcasadi -std=c++11
+c++ main.cpp -o "${bindir}/amplexe${exeext}" \
+    -I"${includedir}" \
+    -L"${libdir}" \
+    -lcasadi ${CXX_STANDARD}
 """
 
 products = [
@@ -44,17 +57,11 @@ products = [
     LibraryProduct("libcasadi_nlpsol_ipopt", :libcasadi_nlpsol_ipopt),
 ]
 
-# These are the platforms we will build for by default, unless further
-# platforms are passed in on the command line
 platforms = supported_platforms()
 platforms = expand_cxxstring_abis(platforms)
-filter!(platforms) do p
-    # Windows export bug is:
-    #   https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50044
-    # because of
-    #   https://github.com/casadi/casadi/blob/402fe583f0d3cf1fc77d1e1ac933f75d86083124/casadi/core/dm_instantiator.cpp#L373-L374
-    return !Sys.iswindows(p)
-end
+filter!(p -> arch(p) != "riscv64" && 
+    !(arch(p) == "aarch64" && Sys.isfreebsd(p)),
+    platforms)
 
 dependencies = [
     Dependency("CompilerSupportLibraries_jll"),
@@ -70,6 +77,6 @@ build_tarballs(
     platforms,
     products,
     dependencies;
-    preferred_gcc_version = v"6",
+    preferred_gcc_version = v"8",
     julia_compat = "1.6",
 )