aboutsummaryrefslogtreecommitdiffstats
path: root/INSTALL
diff options
context:
space:
mode:
authorMatthias P. Braendli <matthias.braendli@mpb.li>2018-01-22 01:27:09 +0100
committerMatthias P. Braendli <matthias.braendli@mpb.li>2018-01-22 01:27:15 +0100
commit13f2ea125bf1a8eab649fec7a657b3ec98b61e63 (patch)
treec26d9623c08506f70e7c321761fa857cf3623f87 /INSTALL
parenta44ccd8d6419ae1abed753a48125cc57d9d9bb6d (diff)
downloaddabmod-13f2ea125bf1a8eab649fec7a657b3ec98b61e63.tar.gz
dabmod-13f2ea125bf1a8eab649fec7a657b3ec98b61e63.tar.bz2
dabmod-13f2ea125bf1a8eab649fec7a657b3ec98b61e63.zip
Make EDI input optional
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL1
1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index a11fd63..464eb57 100644
--- a/INSTALL
+++ b/INSTALL
@@ -32,6 +32,7 @@ The configure script can be launch with a variety of options:
This is meant for distribution package maintainers who want to
use their own march option, and for people running into compilation
issues due to -march=native. (e.g. GCC bug 70132 on ARM systems)
+ --enable-edi Enable the EDI input.
Debugging options: You should not enable debug if you need good performance.
By default, debug is disabled.