diff options
| author | Andrew Waterman <andrew@sifive.com> | 2020-09-22 04:28:22 -0700 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2020-09-22 04:28:22 -0700 |
| commit | 59d450e58646bdc0af5e9250df7d6267c3c791fc (patch) | |
| tree | 02a111a8dde57f54d95edda9cb9b3ee532ecef7b /Makefile.in | |
| parent | b1dc3826d0254b5d4853037cd399560b39745983 (diff) | |
| download | spike-59d450e58646bdc0af5e9250df7d6267c3c791fc.zip spike-59d450e58646bdc0af5e9250df7d6267c3c791fc.tar.gz spike-59d450e58646bdc0af5e9250df7d6267c3c791fc.tar.bz2 | |
Separate build of spike and spike-dasm
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index 17a2bd5..7f14602 100644 --- a/Makefile.in +++ b/Makefile.in @@ -37,6 +37,7 @@ src_dir := @srcdir@ scripts_dir := $(src_dir)/scripts HAVE_INT128 := @HAVE_INT128@ +HAVE_DLOPEN := @HAVE_DLOPEN@ # 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 |