Skip to content

Commit

Permalink
fix: remove with-dev-setup for now
Browse files Browse the repository at this point in the history
  • Loading branch information
eWert-Online committed Jul 8, 2023
1 parent 9ceb651 commit 7ad9485
Show file tree
Hide file tree
Showing 3 changed files with 14 additions and 11 deletions.
4 changes: 2 additions & 2 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,6 @@
fmt
dune
(bisect_ppx :with-test)
(ocaml-lsp-server :with-dev-setup)
(ocamlformat :with-dev-setup)
; (ocaml-lsp-server :with-dev-setup)
; (ocamlformat :with-dev-setup)
))
2 changes: 0 additions & 2 deletions pinc-lang.opam
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,6 @@ depends: [
"fmt"
"dune" {>= "3.6"}
"bisect_ppx" {with-test}
"ocaml-lsp-server" {with-dev-setup}
"ocamlformat" {with-dev-setup}
"odoc" {with-doc}
]
build: [
Expand Down
19 changes: 12 additions & 7 deletions pinc-lang.opam.locked
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
opam-version: "2.0"
name: "pinc-lang"
version: "~dev"
version: "dev"
synopsis: "The PiNC Language as Syntax and Interpreter"
maintainer: "[email protected]"
authors: "Torben Ewert"
Expand All @@ -13,16 +13,21 @@ depends: [
"base-nnp" {= "base"}
"base-threads" {= "base"}
"base-unix" {= "base"}
"cmdliner" {= "1.1.1"}
"dune" {= "3.6.1"}
"bisect_ppx" {= "2.8.2" & with-test}
"cmdliner" {= "1.2.0"}
"dune" {= "3.9.1"}
"fmt" {= "0.9.0"}
"ocaml" {= "5.0.0"}
"ocaml-base-compiler" {= "5.0.0"}
"ocaml-compiler-libs" {= "v0.12.4" & with-test}
"ocaml-config" {= "3"}
"ocaml-options-vanilla" {= "1"}
"ocaml-system" {= "5.0.0"}
"ocamlbuild" {= "0.14.2"}
"ocamlfind" {= "1.9.5"}
"topkg" {= "1.0.6"}
"ocamlfind" {= "1.9.6"}
"ppx_derivers" {= "1.2.1" & with-test}
"ppxlib" {= "0.27.0" & with-test}
"sexplib0" {= "v0.16.0" & with-test}
"stdlib-shims" {= "0.3.0" & with-test}
"topkg" {= "1.0.7"}
]
build: [
["dune" "subst"] {dev}
Expand Down

0 comments on commit 7ad9485

Please sign in to comment.