diff options
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 |