Skip to content

Commit

Permalink
Merge pull request #245 from Alizter/ps/rr/add_ppx_expect_as_a_depend…
Browse files Browse the repository at this point in the history
…ency
  • Loading branch information
Alizter authored Oct 18, 2022
2 parents c5880cf + 918aa51 commit ce42ca8
Show file tree
Hide file tree
Showing 6 changed files with 19 additions and 6 deletions.
1 change: 1 addition & 0 deletions coq-bot.opam
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,7 @@ depends: [
"yojson" {>= "1.7.0"}
"bot-components" {dev}
"toml" {>= "7.0.0"}
"ppx_expect" {>= "v0.15.1"}
"odoc" {>= "1.5.2" & with-doc}
]
build: [
Expand Down
1 change: 1 addition & 0 deletions default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,7 @@ pkgs.stdenv.mkDerivation rec {
eqaf
x509
cstruct
ppx_expect
odoc
];

Expand Down
1 change: 1 addition & 0 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@
(yojson (>= 1.7.0))
(bot-components :dev)
(toml (>= 7.0.0))
(ppx_expect (>= v0.15.1))
(odoc (and (>= 1.5.2) :with-doc)))
)
(package
Expand Down
7 changes: 4 additions & 3 deletions src/bot.ml
Original file line number Diff line number Diff line change
@@ -1,12 +1,13 @@
open Actions
open Base
open Bot_components
open Cohttp
open Cohttp_lwt_unix
open Lwt.Infix
open Bot_components
open Botlib
open Actions
open Git_utils
open Github_installations
open Helpers
open Lwt.Infix

let toml_data = Config.toml_of_file (Sys.get_argv ()).(1)

Expand Down
2 changes: 1 addition & 1 deletion src/config.ml
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,7 @@ let parse_mappings mappings =
| Some gh, Some gl ->
Some (gh, gl)
| _, _ ->
None ))
None ) )
in
let assoc_rev = List.map assoc ~f:(fun (gh, gl) -> (gl, gh)) in
let get_table t =
Expand Down
13 changes: 11 additions & 2 deletions src/dune
Original file line number Diff line number Diff line change
@@ -1,10 +1,19 @@
(library
(name botlib)
(libraries base bot-components cohttp-lwt-unix mirage-crypto
mirage-crypto-rng mirage-crypto-rng.lwt stdio toml yojson)
(modules :standard \ bot)
(inline_tests)
(preprocess
(pps ppx_expect)))

(executable
(name bot)
(public_name bot)
(package coq-bot)
(modules bot)
(promote (until-clean))
(libraries base bot-components cohttp-lwt-unix mirage-crypto
mirage-crypto-rng mirage-crypto-rng.lwt stdio toml yojson))
(libraries botlib))

(env
(dev
Expand Down

0 comments on commit ce42ca8

Please sign in to comment.