adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

spec/design: fix Haskell file dependencies

This commit is contained in:
Gerwin Klein 2018-04-01 12:06:38 +10:00 committed by Joel Beeren
parent c041492916
commit c10b93bedd
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/design/Makefile
View File

@ -21,7 +21,7 @@ MACHINE_PATH := ${L4V_REPO_PATH}/spec/machine
SKEL_FILES := $(shell find ${SKEL_PATH} -name "*.thy")
MSKEL_FILES := $(shell find ${MSKEL_PATH} -name "*.thy")
HASKELL_FILES := $(shell find ${HASKELL_PATH} -regex ".*\.l?hs") # FIXME: add .hs
HASKELL_FILES := $(shell find ${HASKELL_PATH} -name "*hs")
HASKELL_TRANS := ${L4V_REPO_PATH}/tools/haskell-translator/make_spec.sh
ARCH_DIRS += ARM ARM_HYP RISCV64 X64
MACHINE_FILES += ${MACHINE_PATH}/ARM/MachineTypes.thy \