65850e4e40
- Update master sites - Prevent building documentation when NOPORTDOCS defined - Fix dependency on math/mingw32-libgmp4 - Adapt boostrap to the recent GMP update - Respect LOCALBASE (added by pgj) PR: ports/147278 Submitted by: Vitaly Magerya <vmagerya@gmail.com> Approved by: maintainer Feature safe: yes |
||
---|---|---|
.. | ||
add-local-cross | ||
ml.grm.sig | ||
ml.grm.sml | ||
ml.lex.sml | ||
mlb.grm.sig | ||
mlb.grm.sml | ||
mlb.lex.sml | ||
patch-..-mlton-bootstrap-lib-mlton-include-cenv.h | ||
patch-bin-mlton_script | ||
patch-Makefile | ||
patch-mlton-Makefile | ||
patch-runtime-cenv.h | ||
patch-runtime-Makefile | ||
patch-runtime-mingw.c | ||
patch-runtime-mingw.h | ||
upgrade-basis.sml | ||
yacc.grm.sig | ||
yacc.grm.sml | ||
yacc.lex.sml |