Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
f268b73c
Commit
f268b73c
authored
May 22, 2019
by
erwan
Browse files
Fix: when lurette uses lv6 -2c-exec, it does not uses the embedded Lv6Run plugin anymore
parent
c3ff3e06
Pipeline
#24141
failed with stages
in 4 minutes and 14 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
lurette-nocaml/src/lurette.ml
View file @
f268b73c
(* Time-stamp: <modified the
11
/0
4
/2019 (at
14
:5
6
) by Erwan Jahier> *)
(* Time-stamp: <modified the
22
/0
5
/2019 (at
09
:5
0
) by Erwan Jahier> *)
(* Mimick the behavior of 'rdbg -lurette', but without the dependency
on ocaml *)
open
Event
...
...
@@ -50,16 +50,24 @@ let other_args:string =
(**********************************************************************************)
let
(
gen_reactive_program
:
string
->
RdbgArg
.
reactive_program
)
=
fun
str
->
let
args
=
Str
.
split
(
Str
.
regexp
"[
\t
]+"
)
str
in
let
tool
=
Filename
.
basename
(
List
.
hd
args
)
in
let
plugin
=
match
tool
with
|
"lutin"
->
LutinRun
.
make
(
Array
.
of_list
args
)
|
"lv6"
|
"lus2lic"
->
Lv6Run
.
make
(
Array
.
of_list
(
args
@
[
"--expand-io-type"
]))
|
"ocaml"
->
OcamlRun
.
make
(
List
.
nth
args
1
)
|
_
->
StdioRun
.
make
str
in
Ocaml
(
plugin
)
let
args
=
Str
.
split
(
Str
.
regexp
"[
\t
]+"
)
str
in
let
tool
=
Filename
.
basename
(
List
.
hd
args
)
in
let
plugin
=
match
tool
with
|
"lutin"
->
LutinRun
.
make
(
Array
.
of_list
args
)
|
"lv6"
|
"lus2lic"
->
if
List
.
mem
"-exec"
args
||
List
.
mem
"-2c-exec"
args
||
List
.
mem
"--to-c-execute"
args
then
StdioRun
.
make
str
else
Lv6Run
.
make
(
Array
.
of_list
(
args
@
[
"--expand-io-type"
]))
|
"ocaml"
->
OcamlRun
.
make
(
List
.
nth
args
1
)
|
_
->
StdioRun
.
make
str
in
Ocaml
(
plugin
)
open
RdbgArg
let
_
=
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment