diff options
| author | Michael Forney <mforney@mforney.org> | 2020-02-20 20:10:31 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2020-02-20 20:10:31 -0800 |
| commit | aea11e0e4aea4ea84069cf3722c9bb41c5be9c3d (patch) | |
| tree | 9dd49fd2301c771c78b5f1aef2190fd64680c2d2 /pkg/tinyemu | |
| parent | 55bf927462ee5a8e5984d14e61c221d7d3da1ca4 (diff) | |
Use our own linux-headers
Diffstat (limited to 'pkg/tinyemu')
| -rw-r--r-- | pkg/tinyemu/gen.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkg/tinyemu/gen.lua b/pkg/tinyemu/gen.lua index b6a6ee35..cf6d0aad 100644 --- a/pkg/tinyemu/gen.lua +++ b/pkg/tinyemu/gen.lua @@ -7,11 +7,13 @@ cflags{ [[-D 'CONFIG_VERSION="2019-02-10"']], '-I $builddir/pkg/bearssl/include', '-I $builddir/pkg/curl/include', + '-I $builddir/pkg/linux-headers/include', } pkg.deps = { 'pkg/bearssl/headers', 'pkg/curl/headers', + 'pkg/linux-headers/headers', } build('cc', '$outdir/riscv_cpu32.o', '$srcdir/riscv_cpu.c', {cflags='$cflags -DMAX_XLEN=32'}) |