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

fixed build files (ROOT.ML and su4sm.cm) to include statemachine cartridge 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5382 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2006-09-28 08:53:11 +00:00
parent c13e2fe7b8
commit 8b1fb88f41
1 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/codegen/ROOT.ML
View File

@ -35,16 +35,32 @@ use "gcg_helper.sml";
use "tpl_parser.sml";
(* Base *)
use "cartridge.sig";
use "base_cartridge.sml";
use "design_cartridge.sig";
(* C# *)
use "c#_cartridge.sml";
use "c#_net1_cartridge.sml";
(* SecureUML *)
use "design_cartridge.sig";
use "secureuml_cartridge.sml";
use "componentuml_cartridge.sml";
(*
use "java_cartridge.sml";
*)
(* Statemachines *)
use "SM_helper.sml";
use "stateMachineTypes.sml";
use "stringHandling.sml";
use "stateMachine.sml";
use "c#sm_cartridge.sig";
use "c#sm_cartridge.sml";
use "gcg_core.sig";
use "gcg_core.sml";
use "codegen.sml";