forgot to add "setCompileCommand" to Static.rml

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1984 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Nov 24, 2005 · 3ea048d · 3ea048d
1 parent 7bb11d9
commit 3ea048d
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 1 deletion.
diff --git a/Compiler/Ceval.rml b/Compiler/Ceval.rml
@@ -1240,7 +1240,7 @@ axiom	 ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("clear"),[],_,_),s
                                       st as Interactive.SYMBOLTABLE(p,sp,ic,iv,cf),msg) 
           => (ret_val,st')(*(Values.STRING("The model have been translated"),st')*)
 
-  rule  System. set_compile_command(cmd)
+  rule  System.set_compile_command(cmd)
 	 -------------------------
 	 ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("setCompileCommand"),
                                                     [Exp.SCONST(cmd)],_,_),

diff --git a/Compiler/Static.rml b/Compiler/Static.rml
@@ -2917,6 +2917,16 @@ relation elab_call_interactive : (Env.Env, Absyn.ComponentRef, Absyn.Exp list,Ab
 	      Types.PROP((Types.T_BOOL([]),NONE),Types.C_VAR),
 	      SOME(st))
 
+  axiom	elab_call_interactive(env, Absyn.CREF_IDENT("setCompileCommand",_),
+			      [ Absyn.STRING(str)],[],impl,
+			      SOME(st)) 
+	  => (Exp.CALL(Absyn.IDENT("setCompileCommand"),
+		       [Exp.SCONST(str)],
+		       false,
+		       true),
+	      Types.PROP((Types.T_BOOL([]),NONE),Types.C_VAR),
+	      SOME(st))
+
   axiom	elab_call_interactive(env, Absyn.CREF_IDENT("setCompilerFlags",_),
 			      [ Absyn.STRING(str)],[],impl,
 			      SOME(st))