comparison src/compiler.sml @ 2192:fb113569519e

Make daemon mode support sharing of libraries across projects
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Nov 2015 10:03:35 -0500
parents 8c81cd351c1a
children 6eae499c56cb
comparison
equal deleted inserted replaced
2191:849404a3af27 2192:fb113569519e
411 end 411 end
412 412
413 val lastUrp = ref "" 413 val lastUrp = ref ""
414 414
415 fun parseUrp' accLibs fname = 415 fun parseUrp' accLibs fname =
416 (if !lastUrp = fname then 416 (lastUrp := fname;
417 ()
418 else
419 ModDb.reset ();
420 lastUrp := fname;
421 if not (Posix.FileSys.access (fname ^ ".urp", []) orelse Posix.FileSys.access (fname ^ "/lib.urp", [])) 417 if not (Posix.FileSys.access (fname ^ ".urp", []) orelse Posix.FileSys.access (fname ^ "/lib.urp", []))
422 andalso Posix.FileSys.access (fname ^ ".ur", []) then 418 andalso Posix.FileSys.access (fname ^ ".ur", []) then
423 let 419 let
424 val job = {prefix = "/", 420 val job = {prefix = "/",
425 database = NONE, 421 database = NONE,