Skip to content
Snippets Groups Projects
Select Git revision
  • d5605e8ab7db0e3f9ec65b9410b8e6660e52608d
  • master default protected
  • btypes-fixes
  • freetypes
  • embedded-codegen
  • rust-support
  • z3solver
7 results

Makefile

Blame
  • Fabian Vu's avatar
    Fabian Vu authored
    aa246bb2
    History
    Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Makefile 1.31 KiB
    .SUFFIXES:
    
    .PHONY: install build all b2program btypes_primitives btypes_big_integer
    
    JAVA_CODE_GEN_FLAGS=-l java -mc true
    JAVA_DEPENDENCIES= :btypes.jar
    CPP_CODE_GEN_FLAGS=-l cpp -mc true
    CPPC ?= clang++
    CPPFLAGS ?= -std=c++14 -O1 -flto
    STRATEGY=mixed
    THREADS=1
    CACHING=false
    DIRECTORY=.
    
    b2program:
    	./gradlew fatJar && mv build/libs/B2Program-all-0.1.0-SNAPSHOT.jar .
    
    btypes_primitives:
    	cd btypes_primitives && ./gradlew fatJar && cp build/libs/btypes_primitives-all.jar ../btypes.jar && cd ..
    
    btypes_big_integer:
    	cd btypes_big_integer && ./gradlew fatJar && cp build/libs/btypes_big_integer-all.jar ../btypes.jar && cd ..
    
    refresh:
    	./gradlew eclipse --refresh-dependencies
    
    
    ifndef LANGUAGE
    	echo "LANGUAGE is not set"
    else
    ifeq ($(LANGUAGE), java)
    %:
    	java -jar B2Program-all-0.1.0-SNAPSHOT.jar $(JAVA_CODE_GEN_FLAGS) -f $(DIRECTORY)/$@.mch
    	cp $(DIRECTORY)/*.java .
    	javac -cp .$(JAVA_DEPENDENCIES) $@.java
    	java -cp .$(JAVA_DEPENDENCIES) $@ $(STRATEGY) $(THREADS) $(CACHING)
    endif
    ifeq ($(LANGUAGE), cpp)
    %:
    	java -jar B2Program-all-0.1.0-SNAPSHOT.jar $(CPP_CODE_GEN_FLAGS) -f $(DIRECTORY)/$@.mch
    	cp $(DIRECTORY)/*.cpp .
    	$(CPPC) $(CPPFLAGS) -o $@.exec $@.cpp
    	./$@.exec $(STRATEGY) $(THREADS) $(CACHING)
    endif
    endif
    
    # Usage:
    # make b2program
    # make btypes_primitives or make btypes_big_integer
    # make CAN_BUS_tlc LANGUAGE=java