diff options
Diffstat (limited to 'pkg/tinyemu/gen.lua')
| -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'}) |