1(* 2 Copyright (c) 2000 3 Cambridge University Technical Services Limited 4 5 Modified David C.J. Matthews 2008, 2016-17 6 7 This library is free software; you can redistribute it and/or 8 modify it under the terms of the GNU Lesser General Public 9 License version 2.1 as published by the Free Software Foundation. 10 11 This library is distributed in the hope that it will be useful, 12 but WITHOUT ANY WARRANTY; without even the implied warranty of 13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14 Lesser General Public License for more details. 15 16 You should have received a copy of the GNU Lesser General Public 17 License along with this library; if not, write to the Free Software 18 Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA 19*) 20 21(* Build the main basis library. *) 22val () = Bootstrap.use "basis/build.sml"; 23 24(* We've now set up the new name space so everything has to be 25 compiled into that rather than the old space. *) 26 27(* XWindows/Motif *) 28let 29 val xWindowsGeneralCall = RunCall.rtsCallFull1 "PolyXWindowsGeneral" 30 val xcall: int*int->int*int = xWindowsGeneralCall 31 (* See if the RTS supports the X GetTimeOfDay call. *) 32 val isX = (xcall(30, 0); true) handle _ => false 33in 34 if isX 35 then 36 ( 37 PolyML.make "mlsource/extra/XWindows"; 38 PolyML.make "mlsource/extra/Motif" 39 ) 40 else () 41end; 42 43PolyML.print_depth 10; 44