Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
verimag
synchrone
lutin
Commits
1af9747f
Commit
1af9747f
authored
Jul 20, 2021
by
erwan
Browse files
build: apply the fix suggested by kit-ty-kate
here
https://github.com/ocaml/opam-repository/pull/19031
parent
56d691af
Pipeline
#71642
passed with stages
in 5 minutes and 38 seconds
Changes
6
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile.dev
View file @
1af9747f
...
...
@@ -65,9 +65,17 @@ $(NAME).$(VERSION).tgz: $(SRC)
git archive
--prefix
=
$(NAME)
.
$(VERSION)
/
-o
$@
HEAD
$(SRC)
opam-rel
:
$(NAME).$(VERSION).tgz
make-opam-pack
$(NAME)
.
$(VERSION)
bddrand
make-opam-pack
$(NAME)
.
$(VERSION)
gbddml
make-opam-pack
$(NAME)
.
$(VERSION)
polka
make-opam-pack
$(NAME)
.
$(VERSION)
ezdl
make-opam-pack
$(NAME)
.
$(VERSION)
$(NAME)
opam-test
:
$(NAME).$(VERSION).tgz
make-opam-pack
$(NAME)
.
$(VERSION)
bddrand
-test
make-opam-pack
$(NAME)
.
$(VERSION)
gbddml
-test
make-opam-pack
$(NAME)
.
$(VERSION)
polka
-test
make-opam-pack
$(NAME)
.
$(VERSION)
ezdl
-test
make-opam-pack
$(NAME)
.
$(VERSION)
$(NAME)
-test
###############################
...
...
bddrand.opam
View file @
1af9747f
...
...
@@ -15,5 +15,6 @@ depends: [
"dune" {>= "2.0"}
"lutin"{>= "2.71"}
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
\ No newline at end of file
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
ezdl.opam
View file @
1af9747f
...
...
@@ -2,7 +2,6 @@ opam-version: "2.0"
synopsis: "Easy dynamic linking of C functions from ocaml"
description: "Easy dynamic linking of C functions from ocaml"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Pascal Raymond"
authors: [
"Pascal Raymond"
]
...
...
@@ -17,5 +16,6 @@ depends: [
"camlidl"
"dune" {>= "2.0"}
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
gbddml.opam
View file @
1af9747f
...
...
@@ -15,7 +15,6 @@ depends: [
"camlidl" {>= "1.09"}
]
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/"
lutin.opam
View file @
1af9747f
...
...
@@ -33,8 +33,10 @@ depends: [
"dune" {>= "2.0"}
"ocamlfind"
"rdbg" {>= "1.196.9"}
"gbddml"
"ezdl"
"polka"
]
build: ["dune" "build" "@install" "-j" jobs]
install: [make "install"]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
polka.opam
View file @
1af9747f
...
...
@@ -24,5 +24,6 @@ depends: [
"dune" {>= "2.0"}
"ocamlfind"
]
build: ["dune" "build" "-p" name "-j" jobs]
post-messages:
"The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
erwan
@jahier
mentioned in commit
eed82765
·
Sep 22, 2021
mentioned in commit
eed82765
mentioned in commit eed82765b5d345880441f0bfd46bba3181569965
Toggle commit list
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment