diff options
| author | Andrew Waterman <andrew@sifive.com> | 2020-12-29 01:24:06 -0800 |
|---|---|---|
| committer | Andrew Waterman <andrew@sifive.com> | 2020-12-29 01:24:06 -0800 |
| commit | 34de90b78eddd49c880ae46cfbcf274822e9c5da (patch) | |
| tree | 7066ef8cc4bdfae982a38b9741c3f1169c17fcbc /fesvr | |
| parent | 0f264a174ed6ec1cf18bf7d34aed79cdf2deb66d (diff) | |
| download | spike-34de90b78eddd49c880ae46cfbcf274822e9c5da.zip spike-34de90b78eddd49c880ae46cfbcf274822e9c5da.tar.gz spike-34de90b78eddd49c880ae46cfbcf274822e9c5da.tar.bz2 | |
Install config.h into include/fesvr
Diffstat (limited to 'fesvr')
| -rw-r--r-- | fesvr/fesvr.mk.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fesvr/fesvr.mk.in b/fesvr/fesvr.mk.in index 48b3287..079c1b1 100644 --- a/fesvr/fesvr.mk.in +++ b/fesvr/fesvr.mk.in @@ -19,6 +19,8 @@ fesvr_CFLAGS = -fPIC fesvr_install_hdrs = $(fesvr_hdrs) +fesvr_install_config_hdr = yes + fesvr_install_lib = yes fesvr_srcs = \ |