Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
6236c73e
Commit
6236c73e
authored
Jul 05, 2021
by
erwan
Browse files
Upgrade: redbg/clean_terminate changed
parent
c6dc9b43
Pipeline
#70624
passed with stages
in 4 minutes and 56 seconds
Changes
3
Pipelines
2
Hide whitespace changes
Inline
Side-by-side
bin/lurette-nocaml/lurette.ml
View file @
6236c73e
(* Time-stamp: <modified the 0
1
/07/2021 (at 1
5:12
) by Erwan Jahier> *)
(* Time-stamp: <modified the 0
4
/07/2021 (at 1
7:33
) by Erwan Jahier> *)
(* Mimick the behavior of 'rdbg -lurette', but without the dependency
on ocaml *)
...
...
@@ -136,21 +136,19 @@ let _ =
flush
stdout
|
Dynlink
.
Error
msg
->
(* deadcode *)
Printf
.
eprintf
"
\n
*** error in lurette (Dynlink.loadfile %s).
\n
*** %s.
\n
"
Printf
.
eprintf
"
\n
*** error in lurette (Dynlink.loadfile %s).
\n
*** %s.
\n
%!
"
(
List
.
fold_left
(
fun
acc
x
->
acc
^
" "
^
x
)
""
args
._
others
)
(
Dynlink
.
error_message
msg
);
RdbgRun
.
clean_terminate
()
;
flush
stderr
;
exit
2
RdbgRun
.
clean_terminate
2
|
RdbgEvent
.
End
(
_i
)
->
RdbgRun
.
clean_terminate
()
RdbgRun
.
clean_terminate
0
|
pb
->
Printf
.
fprintf
args
.
ocr
"
\n
%s
\n
%!"
(
Printexc
.
to_string
pb
);
RdbgRun
.
clean_terminate
()
;
close_out
args
.
ocr
;
close_out
args
.
ecr
;
close_in
args
.
icr
;
Printf
.
printf
"bye
\n
"
;
flush
stdout
;
exit
2
Printf
.
printf
"bye
\n
%!"
;
RdbgRun
.
clean_terminate
2
;;
let
_
=
...
...
examples/crazy-rabbit/Makefile
View file @
6236c73e
...
...
@@ -23,7 +23,7 @@ test_new.rif:$(EXPDIR) rabbit.cmxs
-
sut
"ocaml rabbit.cmxs"
\
-
env
"lutin rabbit.lut -main rabbit -seed 34 -L libm.so.6 -loc"
&&
\
grep
-v
"lurette chronogram"
test_new.rif0 |
\
grep
-v
"
lurette
Version"
|
\
grep
-v
"Version"
|
\
grep
-v
"#seed"
|
\
grep
-v
"The execution lasted"
|
sed
-e
"s/^M//"
>
test_new.rif
...
...
lutin.opam
View file @
6236c73e
...
...
@@ -29,7 +29,7 @@ depends: [
"mlgmpidl"
"dune" {build & >= "2.0"}
"ocamlfind"
"rdbg" {> "1.1
84
"}
"rdbg" {> "1.1
96.9
"}
]
build: [
[make "build"]
...
...
Write
Preview
Supports
Markdown
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