diff options
author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-01-22 01:27:09 +0100 |
---|---|---|
committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2018-01-22 01:27:15 +0100 |
commit | 13f2ea125bf1a8eab649fec7a657b3ec98b61e63 (patch) | |
tree | c26d9623c08506f70e7c321761fa857cf3623f87 /INSTALL | |
parent | a44ccd8d6419ae1abed753a48125cc57d9d9bb6d (diff) | |
download | dabmod-13f2ea125bf1a8eab649fec7a657b3ec98b61e63.tar.gz dabmod-13f2ea125bf1a8eab649fec7a657b3ec98b61e63.tar.bz2 dabmod-13f2ea125bf1a8eab649fec7a657b3ec98b61e63.zip |
Make EDI input optional
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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. |