juvix/Makefile

PWD=$(CURDIR)
PREFIX="$(PWD)/.stack-work/prefix"
UNAME := $(shell uname)

ifeq ($(UNAME), Darwin)
	THREADS := $(shell sysctl -n hw.logicalcpu)
else ifeq ($(UNAME), Linux)
	THREADS := $(shell nproc)
else
	THREADS := $(shell echo %NUMBER_OF_PROCESSORS%)
endif

.PHONY : checklines
checklines :
	@grep '.\{81,\}' \
		--exclude-dir=src/fix-whitespace \
		-l --recursive src; \
		status=$$?; \
		if [ $$status = 0 ] ; \
		then echo "Lines were found with more than 80 characters!"; \
		else echo "Succeed!"; \
		fi

.PHONY : hlint
hlint :
	hlint src

.PHONY : doc
doc :
	cabal haddock --enable-documentation

.PHONY : cabal-build
cabal-build :
	cabal build all

.PHONY : gen
gen : 
	agda2hs ./src/MiniJuvix/Syntax/Core.agda -o src -X UnicodeSyntax
	agda2hs ./src/MiniJuvix/Syntax/Eval.agda -o src -X UnicodeSyntax

.PHONY : stan
stan :
	stan check --include --filter-all --directory=src 

stack-build:
	stack build --fast --jobs $(THREADS)

stack-build-watch:
	stack build --fast --file-watch

repl-lib:
	stack ghci minijuvix:lib

clean:
	cabal clean
	stack clean

clean-full:
	stack clean --full