Skip to content
Snippets Groups Projects
Commit f2a1f915 authored by Ralf Jung's avatar Ralf Jung
Browse files

Merge branch 'bsd-fix' into 'master'

Use gmake for BSD systems

See merge request !559
parents b4310406 c5e98d55
No related branches found
No related tags found
1 merge request!559Use gmake for BSD systems
Pipeline #104598 passed
#!/bin/bash #!/bin/sh
set -e set -e
# Helper script to build and/or install just one package out of this repository. # Helper script to build and/or install just one package out of this repository.
# Assumes that all the other packages it depends on have been installed already! # Assumes that all the other packages it depends on have been installed already!
# Make sure we get a GNU version of make.
# This is exactly how opam determines which make executable to use.
OS=$(uname)
MAKE="make"
if [ $OS == "FreeBSD" ] || [ $OS == "OpenBSD" ] ||\
[ $OS == "NetBSD" ] || [ $OS == "DragonFly" ]; then
MAKE="gmake"
fi
PROJECT="$1" PROJECT="$1"
shift shift
...@@ -26,7 +35,7 @@ grep -E "^$PROJECT/" _CoqProject >> "$COQFILE" ...@@ -26,7 +35,7 @@ grep -E "^$PROJECT/" _CoqProject >> "$COQFILE"
"${COQBIN}coq_makefile" -f "$COQFILE" -o "$MAKEFILE" "${COQBIN}coq_makefile" -f "$COQFILE" -o "$MAKEFILE"
# Run build # Run build
make -f "$MAKEFILE" "$@" $MAKE -f "$MAKEFILE" "$@"
# Cleanup # Cleanup
rm -f ".$MAKEFILE.d" "$MAKEFILE"* rm -f ".$MAKEFILE.d" "$MAKEFILE"*
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