Merge pull request #986 from andrew-johnson-4/perf-record-deploy

Perf record deploy

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "lambda_mountain"
-version = "1.19.24"
+version = "1.19.26"
 authors = ["Andrew <[email protected]>"]
 license = "MIT"
 description = "Typed Macro Assembler (backed by Coq proofs-of-correctness)"

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