diff options
Diffstat (limited to 'lib/ExecutionEngine/Makefile')
| -rw-r--r-- | lib/ExecutionEngine/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/ExecutionEngine/Makefile b/lib/ExecutionEngine/Makefile new file mode 100644 index 0000000..522665f --- /dev/null +++ b/lib/ExecutionEngine/Makefile @@ -0,0 +1,11 @@ +LEVEL = ../.. +include $(LEVEL)/Makefile.common + +all:: lli +clean:: + rm -f lli + +lli : $(ObjectsG) + $(LinkG) -o $@ $(ObjectsG) \ + -lopt -lbcreader -lbcwriter \ + -lvmcore -lasmwriter -lanalysis -lsupport |