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

haskell translator: change cpp options for ARM_HYP to use unified ARM haskell files

This commit is contained in:
Miki Tanaka 2017-06-28 22:57:02 +10:00
parent d8d1ee014c
commit c2b02d96b7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/haskell-translator/make_spec.sh
View File

@ -84,7 +84,7 @@ ARCHES=("ARM" "X64" "ARM_HYP")
# FIXME: move to a common location in haskell-translator (D.R.Y.)
declare -A cpp_opts
cpp_opts[ARM]="-DPLATFORM=QEmu -DPLATFORM_QEmu -DTARGET=ARM -DTARGET_ARM"
cpp_opts[ARM_HYP]="-DPLATFORM=TK1 -DPLATFORM_TK1 -DTARGET=ARM_HYP -DTARGET_ARM_HYP -DCONFIG_ARM_HYPERVISOR_SUPPORT"
cpp_opts[ARM_HYP]="-DPLATFORM=TK1 -DPLATFORM_TK1 -DTARGET=ARM -DTARGET_ARM -DCONFIG_ARM_HYPERVISOR_SUPPORT"
NAMES=`cd $SKEL; ls *.thy`