diff options
| author | eDgar | 2021-09-29 23:14:55 -0500 |
|---|---|---|
| committer | eDgar | 2021-09-29 23:14:55 -0500 |
| commit | 7cb04930d3a5b4975e97307ce89c43927bcc6ea2 (patch) | |
| tree | e5dc7e26249a14df7020332d3a6ef11e8f827859 /so.diff | |
| parent | 2d45841652059d613ca65763f2d2cff899bc82a2 (diff) | |
| download | aur-7cb04930d3a5b4975e97307ce89c43927bcc6ea2.tar.gz | |
add patch to fix esmumps bug (fixed by Satish Balay @ petsc-maint)
Diffstat (limited to 'so.diff')
| -rw-r--r-- | so.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/so.diff b/so.diff new file mode 100644 index 000000000000..0445c02248a3 --- /dev/null +++ b/so.diff @@ -0,0 +1,13 @@ +diff --git a/config/BuildSystem/config/libraries.py b/config/BuildSystem/config/libraries.py
+index 0d93f57fc0..d94932899f 100644
+--- a/config/BuildSystem/config/libraries.py
++++ b/config/BuildSystem/config/libraries.py
+@@ -133,7 +133,7 @@ class Configure(config.base.Configure):
+ # remove duplicate -L, -Wl,-rpath options - and only consecutive -l options
+ if j in newldflags and any([j.startswith(flg) for flg in dupflags]): continue
+ if newlibs and j == newlibs[-1]: continue
+- if j.startswith('-l') or j.endswith('.lib') or j.endswith('.a') or j.endswith('.o') or j == '-Wl,-Bstatic' or j == '-Wl,-Bdynamic' or j == '-Wl,--start-group' or j == '-Wl,--end-group':
++ if j.startswith('-l') or j.endswith('.lib') or j.endswith('.a') or j.endswith('.so') or j.endswith('.o') or j == '-Wl,-Bstatic' or j == '-Wl,-Bdynamic' or j == '-Wl,--start-group' or j == '-Wl,--end-group':
+ newlibs.append(j)
+ else:
+ newldflags.append(j)
|