Skip to content
This repository has been archived by the owner on Apr 23, 2021. It is now read-only.

Commit

Permalink
Autoformat dune files
Browse files Browse the repository at this point in the history
  • Loading branch information
emillon committed Jun 28, 2019
1 parent 13f336a commit 44c37b2
Show file tree
Hide file tree
Showing 6 changed files with 10 additions and 11 deletions.
3 changes: 2 additions & 1 deletion bench/dune
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,8 @@

(alias
(name bench)
(action (run ./bench.exe --all)))
(action
(run ./bench.exe --all)))

(alias
(name runtest)
Expand Down
4 changes: 2 additions & 2 deletions dune-project
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
(lang dune 1.4)
(lang dune 1.7)
(name hacl_x25519)
(using fmt 1.0)
(using fmt 1.1)
2 changes: 1 addition & 1 deletion hacl_x25519.opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ build: [
["dune" "runtest" "-p" name] {with-test}
]
depends: [
"dune" {build & >= "1.4.0"}
"dune" {build & >= "1.7.0"}
"cstruct" {>= "3.5.0"}
"eqaf"
"ppx_deriving_yojson" {with-test}
Expand Down
3 changes: 1 addition & 2 deletions test/dune
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
(test
(name test)
(libraries hacl_x25519 hex)
)
(libraries hacl_x25519 hex))
3 changes: 1 addition & 2 deletions test_wycheproof/dune
Original file line number Diff line number Diff line change
@@ -1,4 +1,3 @@
(test
(name wycheproof_hacl)
(libraries hacl_x25519 wycheproof)
)
(libraries hacl_x25519 wycheproof))
6 changes: 3 additions & 3 deletions test_wycheproof/wycheproof/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(library
(name wycheproof)
(libraries yojson ppx_deriving_yojson.runtime hex)
(preprocess (pps ppx_deriving.std ppx_deriving_yojson ppx_blob))
(preprocessor_deps x25519_test.json)
)
(preprocess
(pps ppx_deriving.std ppx_deriving_yojson ppx_blob))
(preprocessor_deps x25519_test.json))

0 comments on commit 44c37b2

Please sign in to comment.