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

rules for making some sml "binaries" 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5978 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2007-01-29 16:14:16 +00:00
parent 5394f456ca
commit 5d9dc9bfd5
1 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Makefile
View File

@ -6,7 +6,20 @@ doc:
apidoc:
smldoc --windowtitle="SU4SML API Documentation" --hidebysig --directory=doc/api --linksource --showsummary --overview=doc/overview.html src/su4sml.cm
codegen-doc:
smldoc --windowtitle="GCG Documentation" --directory=codegen-doc --linksource --showsummary --overview=doc/overview.html --linkoffline=../doc@doc/module-list src/codegen/codegen.cm
tags:
cd src && etags --language=none --regex='/^\(datatype\|type\|val\|fun\|structure\|signature\)[ \t]*\([^ \t]*\)/\2/' *.sml *.sig codegen/*.sml codegen/*.sig
su4sml:
(cd src && echo "val _ = use \"ROOT.ML\"; val _ = OS.Process.exit 0" | sml ) || true
rep_parser:
ml-build src/su4sml.cm RepParser.test src/rep_parser
repsecure_parser:
ml-build src/su4sml.cm Rep_SecureUML_ComponentUML.test src/repsecure_parser
codegen:
ml-build src/codegen/codegen.cm Codegen.main src/codegen