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