From b6d37e71fb213cc8c321693f9a45ba0b01b6d14f Mon Sep 17 00:00:00 2001
From: ploc <ploc@garoche.net>
Date: Fri, 24 Mar 2017 05:57:02 +0100
Subject: [PATCH] Bug solved: EMF backend was forced
---
src/options.ml | 11 ++++++++---
1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/src/options.ml b/src/options.ml
index e9a39c00..dc5fbdb5 100755
--- a/src/options.ml
+++ b/src/options.ml
@@ -116,9 +116,14 @@ let set_mpfr prec =
else
failwith "mpfr requires a positive integer"
-let common_options =
- [ "-d", Arg.Set_string dest_dir, "uses the specified \x1b[4mdirectory\x1b[0m as root for generated/imported object and C files <default: .>";
- "-I", Arg.String add_include_dir, "sets include \x1b[4mdirectory\x1b[0m";
+let set_backend s =
+ output := s;
+ Backends.setup s
+
+let options =
+[ "-d", Arg.Set_string dest_dir,
+"uses the specified directory \x1b[4mdir\x1b[0m as root for generated/imported object and C files <default: .>";
+"-I", Arg.Set_string include_dir, "Include directory";
"-node", Arg.Set_string main_node, "specifies the \x1b[4mmain\x1b[0m node";
"-print-types", Arg.Set print_types, "prints node types";
"-print-clocks", Arg.Set print_clocks, "prints node clocks";
--
GitLab