File tree 8 files changed +7
-9
lines changed 8 files changed +7
-9
lines changed Original file line number Diff line number Diff line change 7
7
! comby.opam
8
8
! dune
9
9
! push-coverage-report.sh
10
+ ! dune-project
Original file line number Diff line number Diff line change 1
1
.merlin
2
2
_build
3
3
* .install
4
- /dune-project
5
4
\# *
6
5
. \# *
7
6
scripts /0. *
Original file line number Diff line number Diff line change @@ -7,6 +7,7 @@ WORKDIR /home/comby
7
7
8
8
COPY Makefile /home/comby/
9
9
COPY comby.opam /home/comby/
10
+ COPY dune-project /home/comby/
10
11
COPY dune /home/comby/
11
12
COPY docs /home/comby/docs
12
13
COPY src /home/comby/src
Original file line number Diff line number Diff line change @@ -12,7 +12,7 @@ build: [
12
12
depends: [
13
13
"ocaml" {>= "4.08.1"}
14
14
"core" {>= "0.12.2"}
15
- "lwt" {>= "4.3.0"}
15
+ "lwt"
16
16
"mparser-comby"
17
17
"ppxlib"
18
18
"ppx_deriving"
@@ -32,7 +32,6 @@ depends: [
32
32
pin-depends: [
33
33
["bisect_ppx.git" "git+https://github.com/aantron/bisect_ppx.git"]
34
34
["mparser-comby.git" "git+https://github.com/comby-tools/mparser.git"]
35
- ["lwt.git" "git+https://github.com/rvantonder/lwt.git#4.3.0-with-captain"]
36
35
["patdiff.git" "git+https://github.com/rvantonder/patdiff.git#0.12.1-patch-compatible-diffs"]
37
36
]
38
37
depexts: [
Original file line number Diff line number Diff line change @@ -28,6 +28,6 @@ COPY push-coverage-report.sh /home/comby/
28
28
RUN sudo chown -R $(whoami) /home/comby
29
29
30
30
# Build and install the OCaml dependencies.
31
- RUN eval $(opam env) && opam install . --deps-only -y
31
+ RUN eval $(opam env) && opam repository set-url default https://opam.ocaml.org && opam update && opam install . --deps-only -y
32
32
# Delete the source files
33
33
RUN sudo rm -rf /home/comby
Original file line number Diff line number Diff line change @@ -7,6 +7,7 @@ WORKDIR /home/comby
7
7
8
8
COPY Makefile /home/comby/
9
9
COPY comby.opam /home/comby/
10
+ COPY dune-project /home/comby/
10
11
COPY dune /home/comby/
11
12
COPY docs /home/comby/docs
12
13
COPY src /home/comby/src
Original file line number Diff line number Diff line change
1
+ (lang dune 1 .9)
2
+ (name comby)
Original file line number Diff line number Diff line change @@ -377,11 +377,6 @@ let run
377
377
count, inputs
378
378
| _ -> failwith " Can't run interactive review for these inputs" )
379
379
in
380
- (* RVT modified lwt so that the toplevel Lwt scheduler is prevented from
381
- starting up at module load. Lwt interferes with hack_parallel child
382
- workers otherwise. This command runs the setup function, only after we are
383
- finished with parallel work. *)
384
- Lwt_unix. i_am_the_captain_now () ;
385
380
let { editor; default_is_accept } = Option. value_exn interactive_review in
386
381
Interactive. run editor default_is_accept count rewrites;
387
382
count
You can’t perform that action at this time.
0 commit comments