diff options
author | Guillaume Dollé | 2020-10-23 01:17:40 +0200 |
---|---|---|
committer | Guillaume Dollé | 2020-10-23 01:17:40 +0200 |
commit | d63a68d00c9bf7f0f7a926db3a8e7ee0916e6862 (patch) | |
tree | e9ea843bb20083d12a6084a7c902234cccbb5032 /freefem.sh | |
parent | b334e7c2b7af275f71099e1f7220f925c5fd3e05 (diff) | |
download | aur-d63a68d00c9bf7f0f7a926db3a8e7ee0916e6862.tar.gz |
v4.7.1
Changelog
- Disable mumps (for now)
- Disable superlu
- Make most dep optional
Known issues
- Ipopt configured but no plugin generated..
- Superlu header bug
Diffstat (limited to 'freefem.sh')
-rw-r--r-- | freefem.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/freefem.sh b/freefem.sh new file mode 100644 index 000000000000..8751bed4d67d --- /dev/null +++ b/freefem.sh @@ -0,0 +1 @@ +export PATH=/opt/freefem/bin:${PATH} |