diff --git a/math/DoCon/Portfile b/math/DoCon/Portfile
index 51cbffddf7f..5b952e55af9 100644
a
|
b
|
PortSystem 1.0 |
4 | 4 | |
5 | 5 | name DoCon |
6 | 6 | set shortname docon |
7 | | version 2.11 |
8 | | revision 5 |
| 7 | version 2.12 |
| 8 | revision 0 |
| 9 | checksums rmd160 e324a679584d7a9ead1c69ebcb8a8fce44d0187f \ |
| 10 | sha256 d43013c2dccd4b437c2673ba8f62aa55a785b41a01355d4b8a93459bb656faa9 \ |
| 11 | size 1583274 |
| 12 | |
9 | 13 | categories math devel |
10 | 14 | maintainers nomaintainer |
11 | 15 | |
… |
… |
master_sites ${homepage}${version} |
23 | 27 | distname ${shortname}-${version} |
24 | 28 | use_zip yes |
25 | 29 | |
26 | | checksums md5 229b4af2005bc6fcac0e386d88bf69e4 |
27 | | |
28 | 30 | patchfiles patch-docon.cabal.diff |
29 | 31 | |
30 | 32 | depends_lib port:ghc |
diff --git a/math/DoCon/files/patch-docon.cabal.diff b/math/DoCon/files/patch-docon.cabal.diff
index 865bee0041d..d1b78a5e472 100644
a
|
b
|
|
1 | | --- docon.cabal.sav 2008-06-17 19:15:25.000000000 -0400 |
2 | | +++ docon.cabal 2008-06-17 19:15:41.000000000 -0400 |
3 | | @@ -39,7 +39,7 @@ |
4 | | -fno-warn-overlapping-patterns -fwarn-unused-binds |
5 | | -fwarn-unused-matches -fwarn-unused-imports |
| 1 | --- docon.cabal.orig 2014-04-28 07:34:01.000000000 -0500 |
| 2 | +++ docon.cabal 2023-07-21 06:09:19.000000000 -0500 |
| 3 | @@ -46,4 +46,4 @@ |
| 4 | -fwarn-unused-matches -fwarn-unused-imports |
| 5 | -fcontext-stack=30 |
6 | 6 | -O |
7 | | - +RTS -M400m -RTS |
8 | | + +RTS -M800m -RTS |
9 | | -- |
10 | | -- -prof -auto-all |
11 | | -- for profiling add also --enable-library-profiling |
| 7 | - +RTS -M400m -RTS |
| 8 | + +RTS -M800m -RTS |