From 63ee7493382009b967227a3427984510ed8e2626 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 28 Sep 2004 12:19:42 +0000 Subject: [PATCH] Specify POSIX in BUILDING --- BUILDING | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/BUILDING b/BUILDING index 298ede8..3839662 100644 --- a/BUILDING +++ b/BUILDING @@ -2,11 +2,11 @@ System requirements =================== -Compiling the mlt tool requires a "working version" of SML/NJ. It's -best to use version 110.49 or later. Earlier versions have -incompatibilities, bugs, or both. You may have problems with any -version whatsoever, though, since this stuff uses some SML/NJ compiler -internals, and they may change often. +Compiling the mlt tool requires a "working version" of SML/NJ on a +POSIX system. It's best to use version 110.49 or later. Earlier +versions have incompatibilities, bugs, or both. You may have problems +with any version whatsoever, though, since this stuff uses some SML/NJ +compiler internals, and they may change often. ============= -- 2.20.1