Merge branch 'develop' into feature/nasa-polynomials-cp-2634

Author: guptapratykshh

meson_scripts/init.py

@@ -78,6 +78,11 @@ def init_submodules(
     github_repo_mlpcpp = "https://github.com/EvertBunschoten/MLPCpp"
     sha_version_eigen = "d71c30c47858effcbd39967097a2d99ee48db464"
     github_repo_eigen = "https://gitlab.com/libeigen/eigen.git"
+    # The download paths for gitlab are different than github so we need this ad-hoc fix.
+    # NOTE: Update the Eigen version in download_module when changing this.
+    download_eigen = (
+        "https://gitlab.com/libeigen/eigen/-/archive/3.4/eigen-3.4.zip?ref_type=heads"
+    )
 
     medi_name = "MeDiPack"
     codi_name = "CoDiPack"
@@ -180,7 +185,11 @@ def init_submodules(
             )
         if own_eigen:
             download_module(
-                eigen_name, alt_name_eigen, github_repo_eigen, sha_version_eigen
+                eigen_name,
+                alt_name_eigen,
+                github_repo_eigen,
+                sha_version_eigen,
+                download_eigen,
             )
 
 
@@ -260,7 +269,7 @@ def submodule_status(path, sha_commit):
             )
 
 
-def download_module(name, alt_name, git_repo, commit_sha):
+def download_module(name, alt_name, git_repo, commit_sha, download_url=None):
     # ZipFile does not preserve file permissions.
     # This is a workaround for that problem:
     # https://stackoverflow.com/questions/39296101/python-zipfile-removes-execute-permissions-from-binaries
@@ -296,7 +305,7 @@ def _extract_member(self, member, targetpath, pwd):
             alt_filename = name + "-" + filename
             alt_filepath = os.path.join(sys.path[0], alt_filename)
 
-            url = git_repo + "/archive/" + filename
+            url = download_url or (git_repo + "/archive/" + filename)
 
             if not os.path.exists(filepath) and not os.path.exists(alt_filepath):
                 try:
@@ -321,7 +330,13 @@ def _extract_member(self, member, targetpath, pwd):
             if os.path.exists(alt_name):
                 os.rmdir(alt_name)
 
-            os.rename(os.path.join(target_dir, name + "-" + commit_sha), alt_name)
+            try:
+                os.rename(os.path.join(target_dir, name + "-" + commit_sha), alt_name)
+            except FileNotFoundError:
+                if "eigen" in url:
+                    os.rename(os.path.join(target_dir, "eigen-3.4"), alt_name)
+                else:
+                    raise
 
             # Delete zip file
             remove_file(filepath)