diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-07-11 15:11:27 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-07-11 15:11:27 -0700 |
commit | cbb979ddfb5201287c5d60d335bf1f12649e0a04 (patch) | |
tree | e577e39e5d7a327bb8681993e689af5616c340bf /Makefile.in | |
parent | 364e9c641257738b3f1ba9f23d9fe0a0ccafce06 (diff) | |
download | spike-cbb979ddfb5201287c5d60d335bf1f12649e0a04.zip spike-cbb979ddfb5201287c5d60d335bf1f12649e0a04.tar.gz spike-cbb979ddfb5201287c5d60d335bf1f12649e0a04.tar.bz2 |
Fix support for 32-bit hosts (but no V extension in that case!)
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 709a8c5..1dad9c9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -36,6 +36,8 @@ project_name := @PACKAGE_TARNAME@ src_dir := @srcdir@ scripts_dir := $(src_dir)/scripts +HAVE_INT128 := @HAVE_INT128@ + # If the version information is not in the configure script, then we # assume that we are in a working directory. We use the vcs-version.sh # script in the scripts directory to generate an appropriate version |