git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4598 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
49f607300e
commit
eb55357e00
2
Makefile
2
Makefile
|
@ -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 OS.Process.success" | sml
|
||||
cd src && echo "val _ = use \"ROOT.ML\"" | sml
|
||||
|
|
|
@ -100,3 +100,5 @@ use "rep_secure.sml";
|
|||
OS.FileSys.chDir "codegen";
|
||||
use "ROOT.ML";
|
||||
OS.FileSys.chDir "..";
|
||||
val _ = print "successfully compiled su4sml\n"
|
||||
|
||||
|
|
Loading…
Reference in New Issue