diff options
Diffstat (limited to 'sim/or1k/configure')
| -rwxr-xr-x | sim/or1k/configure | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/sim/or1k/configure b/sim/or1k/configure index 93aeb8f..1386585 100755 --- a/sim/or1k/configure +++ b/sim/or1k/configure @@ -13788,11 +13788,17 @@ if test "${enable_cgen_maint+set}" = set; then : yes) cgen_maint=yes ;; no) cgen_maint=no ;; *) - # argument is cgen install directory (not implemented yet). - # Having a `share' directory might be more appropriate for the .scm, - # .cpu, etc. files. - cgendir=${cgen_maint}/lib/cgen - cgen=guile + # Argument is a directory where cgen can be found. In some + # future world cgen could be installable, but right now this + # is not the case. Instead we assume the directory is a path + # to the cgen source tree. + cgen_maint=yes + if test -r ${enableval}/iformat.scm; then + # This looks like a cgen source tree. + cgendir=${enableval} + else + as_fn_error $? "${enableval} doesn't look like a cgen source tree" "$LINENO" 5 + fi ;; esac fi |