Add a fake configure script to point people to make.sh

This commit is contained in:
Alcaro 2020-03-20 13:03:47 +01:00
parent 6aff9ae85e
commit 4dc1be3b5a
2 changed files with 15 additions and 0 deletions

2
.gitattributes vendored
View File

@ -1 +1,3 @@
libdivsufsort-2.0.1/** linguist-vendored
divsufsort.c linguist-vendored
divsufsort.h linguist-vendored

13
configure vendored Executable file
View File

@ -0,0 +1,13 @@
#!/bin/sh
# This script does nothing, other than trick people into running it.
# Since it's usually run before make, and people tend to read its output
# (to find which dependencies are missing), it's the best place to put compilation instructions.
cat <<EOF
To compile Floating IPS in release mode (recommended for most users; will take a
few minutes, but result will be fast), use \`./make.sh'.
To compile Floating IPS in almost-release mode (3% slower at runtime, but only
takes a few seconds to compile), use \`./make.sh --profile=no'.
To compile Floating IPS in debug mode (NOT recommended unless you're tracking a
bug, it's VERY slow for big files), use \`make'.
EOF