diff --git a/Cargo.toml b/Cargo.toml index 57232744..0ffd124d 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "lambda_mountain" -version = "1.19.24" +version = "1.19.26" authors = ["Andrew "] license = "MIT" description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)" diff --git a/Makefile b/Makefile index d63d45e1..5813b9a3 100644 --- a/Makefile +++ b/Makefile @@ -24,6 +24,10 @@ build: compile-production deploy: build build-docs smoke-test +profile: install-bootstrap + perf record lm SRC/index-index.lm + ./report.sh + compile-bootstrap: rm -f bootstrap cc -O3 -o bootstrap BOOTSTRAP/cli.c @@ -35,10 +39,18 @@ compile-production: compile-bootstrap rm -f production.c install-production: compile-production +ifeq ($(shell id -u), 0) + mv production /usr/local/bin/lm +else mv production $${HOME}/bin/lm +endif install-bootstrap: compile-bootstrap +ifeq ($(shell id -u), 0) + mv bootstrap /usr/local/bin/lm +else mv bootstrap $${HOME}/bin/lm +endif smoke-test: clang BOOTSTRAP/cli.c -o tmp @@ -47,7 +59,11 @@ smoke-test: install: cc -O3 -o lm BOOTSTRAP/cli.c +ifeq ($(shell id -u), 0) + mv lm /usr/local/bin/lm +else mv lm $${HOME}/bin/lm +endif mkdir -p $${HOME}/.lm/ cp -rf PLATFORM $${HOME}/.lm/ #lm LMV/cli.lm -o lmv.s