slope/Makefile at main · libmath/slope · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
MAKEFILE_PATH   := $(abspath $(lastword $(MAKEFILE_LIST)))
MAKEFILE_DIR    := $(dir $(MAKEFILE_PATH))

LEAN_DIR        := /home/khang/repos/math
CARGO_DEBUG_DIR := $(MAKEFILE_DIR)target/debug

CARGO_INSTALL := cargo install --locked --all-features --force

BIN_NAME := slope

current: rg

build:
	cargo build
	cd $(LEAN_DIR) && PATH=$(CARGO_DEBUG_DIR):$$PATH $(BIN_NAME) build

search:
	cargo build
	cd $(LEAN_DIR) && PATH=$(CARGO_DEBUG_DIR):$$PATH $(BIN_NAME) search

graph:
	cargo build
	cd $(LEAN_DIR) && PATH=$(CARGO_DEBUG_DIR):$$PATH $(BIN_NAME) graph

rg:
	cargo build
	cd $(LEAN_DIR) && PATH=$(CARGO_DEBUG_DIR):$$PATH $(BIN_NAME) rg

check-fmt:
	cargo build
	cd $(LEAN_DIR) && PATH=$(CARGO_DEBUG_DIR):$$PATH $(BIN_NAME) check-fmt

install:
	$(CARGO_INSTALL) --path .