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

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4601 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Achim D. Brucker 2006-05-29 10:38:11 +00:00
parent fe1a089fa5
commit b2b60ff014
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -7,4 +7,4 @@ apidoc:
smldoc --windowtitle="SU4SML API Documentation" --hidebysig --directory=doc/api --linksource --showsummary --overview=doc/overview.html src/su4sml.cm
su4sml:
(cd src && echo "val _ = use \"ROOT.ML\"; val _ = OS.Process.exit 0" | sml )
(cd src && echo "val _ = use \"ROOT.ML\"; val _ = OS.Process.exit 1" | sml )