Commit e9cad89c authored by jdelange's avatar jdelange
Browse files

* po-hi-c/share/make/Makefile.compcert

   - Integration of LUA engine for COMPCERT target

git-svn-id: 129961e7-ef38-4bb5-a8f7-c9a525a55882
parent 8b79dd6f
TARGET_LDFLAGS = -lpthread -lrt
TARGET_LDFLAGS = -lpthread -lrt -L$(RUNTIME_PATH)/libs/linux32/ -L$(RUNTIME_PATH)/libs/linux64/ -llua -lm
CC = ccomp
LD = ccomp
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment