diff options
| author | Andrew Waterman <andrew@sifive.com> | 2019-03-31 00:49:57 -0700 |
|---|---|---|
| committer | Chih-Min Chao <chihmin.chao@sifive.com> | 2019-05-14 01:50:01 -0700 |
| commit | 7ac569476e8759d59e0698086bf1493154387bc0 (patch) | |
| tree | 9cb1cf51f81daf1b1497c583783675d51cc3c86a /riscv/riscv.ac | |
| parent | c611cda2198ada65aae4c1ca6fd8a1d8f3cb0821 (diff) | |
| download | spike-7ac569476e8759d59e0698086bf1493154387bc0.zip spike-7ac569476e8759d59e0698086bf1493154387bc0.tar.gz spike-7ac569476e8759d59e0698086bf1493154387bc0.tar.bz2 | |
Add fesvr; only globally install fesvr headers/libs
Diffstat (limited to 'riscv/riscv.ac')
| -rw-r--r-- | riscv/riscv.ac | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/riscv/riscv.ac b/riscv/riscv.ac index 1348484..40cf706 100644 --- a/riscv/riscv.ac +++ b/riscv/riscv.ac @@ -17,17 +17,6 @@ AC_SEARCH_LIBS([dlopen], [dl dld], [], [ AC_MSG_ERROR([unable to find the dlopen() function]) ]) -AC_ARG_WITH([fesvr], - [AS_HELP_STRING([--with-fesvr], - [path to your fesvr installation if not in a standard location])], - [ - LDFLAGS="-L$withval/lib $LDFLAGS" - CPPFLAGS="-I$withval/include $CPPFLAGS" - ] -) - -AC_CHECK_LIB(fesvr, libfesvr_is_present, [], [AC_MSG_ERROR([libfesvr is required])], [-pthread]) - AC_CHECK_LIB(pthread, pthread_create, [], [AC_MSG_ERROR([libpthread is required])]) AC_ARG_ENABLE([commitlog], AS_HELP_STRING([--enable-commitlog], [Enable commit log generation])) |