diff options
Diffstat (limited to 'rtl/Makefile')
| -rw-r--r-- | rtl/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/rtl/Makefile b/rtl/Makefile new file mode 100644 index 0000000..79ebf76 --- /dev/null +++ b/rtl/Makefile @@ -0,0 +1,16 @@ +BUILD_DIR := core/platform/novena/eim/build + +# This business of patching files that are under revision control +# because we can't be bothered to generate a proper configuration file +# is kind of nasty. + +all: + patch -p1 --forward <patches/01-config-cores.patch + cd ${BUILD_DIR}; $(MAKE) + patch -p1 --reverse <patches/01-config-cores.patch + +clean: + cd ${BUILD_DIR}; $(MAKE) clean + +install: + install -D ${BUILD_DIR}/novena_eim.bit ${DESTDIR}/usr/share/cryptech/novena_eim.bit |