Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Jonas Kastberg
iris
Commits
06244212
Commit
06244212
authored
Oct 09, 2017
by
Ralf Jung
Browse files
make build-dep: prefer relative paths; they seem to work better on Windows
parent
93eb2615
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
06244212
...
...
@@ -34,7 +34,7 @@ build-dep: build-dep/opam phony
@
# Upgrading is needed in case the pin already exists, but the builddep package changed.
@
BUILD_DEP_PACKAGE
=
"
$$
(egrep "
^name:
" build-dep/opam | sed 's/^name: *"
\(
.
*
\)
" */
\1
/')"
;
\
echo
"# Pinning build-dep package."
&&
\
opam pin add
"
$$
BUILD_DEP_PACKAGE"
.dev
"
$
$(pwd)
/build-dep"
-k
path
$(OPAMFLAGS)
&&
\
opam pin add
-k
path
$(OPAMFLAGS)
"
$$
BUILD_DEP_PACKAGE"
.dev
build-dep
&&
\
echo
"# Updating build-dep package."
&&
\
opam upgrade
"
$$
BUILD_DEP_PACKAGE"
...
...
Write
Preview
Supports
Markdown
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