HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

updated intpretation of HOLOCL_HOME 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3366 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-11-15 10:36:56 +00:00
parent 620a634c0a
commit c33c10d328
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/xmltree_parser.sml
View File

@ -217,8 +217,9 @@ structure Parser = Parse (structure Dtd = Dtd
fun readFile filename =
let val currentDir = OS.FileSys.getDir()
fun su4sml_home () = getOpt(OS.Process.getEnv "HOLOCL_HOME",
getOpt(OS.Process.getEnv "UML2CDL_HOME","."))
fun su4sml_home () = case OS.Process.getEnv "HOLOCL_HOME" of
SOME p => p^"lib/su4sml/src"
NONE => getOpt(OS.Process.getEnv "UML2CDL_HOME",".")
(* how to do the following in a clean/portable way? *)
fun read_dtd dtd =
let val _ = OS.FileSys.chDir (su4sml_home())