Ticket #2417: patch-BuildAll.diff

File patch-BuildAll.diff, 394 bytes (added by dem5302@…, 20 years ago)

BuildAll.sml patch

  • BuildAll.sml

    old new  
    6060PolyML.use "basis/build";
    6161
    6262PolyML.use "mlsource/prelude/Address";
     63(*
     64FFI Does not work in OS X
    6365PolyML.make "mlsource/extra/CInterface";
    64 PolyML.use "mlsource/extra/CInterface/clean";
     66PolyML.use "mlsource/extra/CInterface/clean"; *)
    6567
    6668(* XWindows/Motif *)
    6769let