Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Rodolphe Lepigre
Iris
Commits
c0253c3e
Commit
c0253c3e
authored
Sep 28, 2017
by
Ralf Jung
Browse files
fix build-dep on macOS
parent
bfdd67a7
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
c0253c3e
...
...
@@ -19,10 +19,10 @@ Makefile.coq: _CoqProject Makefile awk.Makefile
mv
Makefile.coq Makefile.coq.tmp
&&
awk
-f
awk.Makefile Makefile.coq.tmp
>
Makefile.coq
&&
rm
Makefile.coq.tmp
# Install build-dependencies
build-dep/opam
:
opam
build-dep/opam
:
opam
Makefile
# Create the build-dep package.
@
mkdir
-p
build-dep
@
sed
<opam
's/^
\
(build
\
|install
\
|remove
\
):.*/\1: []/; s/^name: *"
\
(.*
\
)" */name: "\1-builddep"/'
>
build-dep/opam
@
sed
<opam
-E
's/^(build|install|remove):.*/\1: []/; s/^name: *"(.*)" */name: "\1-builddep"/'
>
build-dep/opam
@
fgrep builddep build-dep/opam
>
/dev/null
||
(
echo
"sed failed to fix the package name"
&&
exit
1
)
# sanity check
build-dep
:
build-dep/opam phony
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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