diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2019-04-25 10:26:53 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2019-04-27 18:31:53 +0200 |
| commit | 50f8a64b05f5c870cd49470078eb1e34248f87d6 (patch) | |
| tree | ce11ea148d8e377fc47f9fa6281b16a63792a2c6 /configure | |
| parent | 8a88fdfc881ba6c57759065bd8fe9ebcaf922e9e (diff) | |
| download | ghdl-50f8a64b05f5c870cd49470078eb1e34248f87d6.tar.gz ghdl-50f8a64b05f5c870cd49470078eb1e34248f87d6.tar.bz2 ghdl-50f8a64b05f5c870cd49470078eb1e34248f87d6.zip | |
add configure option to enable default_pie
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -6,12 +6,12 @@ # the terms of the GNU General Public License as published by the Free # Software Foundation; either version 2, or (at your option) any later # version. -# +# # GHDL is distributed in the hope that it will be useful, but WITHOUT ANY # WARRANTY; without even the implied warranty of MERCHANTABILITY or # FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License # for more details. -# +# # You should have received a copy of the GNU General Public License # along with GHDL; see the file COPYING. If not, write to the Free # Software Foundation, 59 Temple Place - Suite 330, Boston, MA @@ -45,6 +45,7 @@ enable_werror=true enable_checks=true enable_openieee=unknown enable_python=false +default_pie=false EXEEXT= SOEXT=.so PIC_FLAGS=-fPIC @@ -106,6 +107,7 @@ for opt do --disable-openieee) enable_openieee=false;; --enable-python) enable_python=true;; --disable-python) enable_python=false;; + --enable-default-pie) default_pie=true;; --enable-coverage) build_mode="coverage";; -h|-help|--help) show_help=yes;; *) @@ -279,9 +281,7 @@ libghdl_version=`echo $ghdl_version | sed -e 's/[-.]/_/g'` # Check if gcc was configured with --enable-default-pie. In that case -fPIC # should be added. if gcc -v 2>&1 | grep -q enable-default-pie; then - default_pie="yes" -else - default_pie="no" + default_pie="true" fi # Create subdirectories |