aboutsummaryrefslogtreecommitdiff
path: root/ports/flint/lib_flint.patch
AgeCommit message (Collapse)Author
2017-11-03Add the flint2 library (#1988)xoviat
* Add the "flint2" library. * FIX: update library name * FIX: only set MSVC version to VC14 * FIX: use static linkage * DOC: display notification to the user * [flint/CONTROL] add gettimeofday dependency * [flint/portfile] move up linkage * [flint/portfile] attempt to override the CRT linkage