change riscv-isa-run to spike

[riscv-isa-sim.git] / configure

diff --git a/configure b/configure
index da2d49c69525597ca65325a75e58dd91142e653c..7c02fa077a7d4e084233611d368fc56daff078a3 100755 (executable)
--- a/configure
+++ b/configure
@@ -559,7 +559,7 @@ MAKEFLAGS=
 
 # Identity of this package.
 PACKAGE_NAME='RISC-V ISA Simulator'
-PACKAGE_TARNAME='riscv-isa-run'
+PACKAGE_TARNAME='spike'
 PACKAGE_VERSION='?'
 PACKAGE_STRING='RISC-V ISA Simulator ?'
 PACKAGE_BUGREPORT='Andrew Waterman'
@@ -1256,7 +1256,7 @@ Fine tuning of the installation directories:
   --infodir=DIR           info documentation [DATAROOTDIR/info]
   --localedir=DIR         locale-dependent data [DATAROOTDIR/locale]
   --mandir=DIR            man documentation [DATAROOTDIR/man]
-  --docdir=DIR            documentation root [DATAROOTDIR/doc/riscv-isa-run]
+  --docdir=DIR            documentation root [DATAROOTDIR/doc/spike]
   --htmldir=DIR           html documentation [DOCDIR]
   --dvidir=DIR            dvi documentation [DOCDIR]
   --pdfdir=DIR            pdf documentation [DOCDIR]