Skip to content
Snippets Groups Projects
Commit f8ed2cd3 authored by erwan's avatar erwan
Browse files

Chore: fix the opam file

parent 7ce86b37
No related branches found
Tags 1.51.3 v1.53.3
No related merge requests found
Pipeline #71272 passed
......@@ -10,7 +10,7 @@ doc: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6"
depends: [
"ocaml" {>= "4.02"}
"dune" {>= "1.2"}
"dune" {>= "2.0"}
"base-unix"
"ocamlfind"
"num"
......@@ -18,7 +18,6 @@ depends: [
build: [
["dune" "build" "-p" name "-j" jobs]
]
install: [make "install"]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
dev-repo:
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment