smtc/Makefile at main · bullptr/smtc · 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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
.PHONY: setup build test # bench measure

all: setup

setup:
	@clear
	@echo "Setting up the environment..."
# 	@sudo apt-get update
# 	@sudo apt-get install -y z3 libz3-dev
# 	@sudo apt-get install -y llvm-18 llvm-18-dev
# 	@sudo update-alternatives --install /usr/bin/llvm-config llvm-config /usr/bin/llvm-config-18 18
	@echo "Installing LLVM..."
# 	LLVM repository key
	@wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
# 	@TODO use a supported Ubuntu version instead of Noble for LLVM 15
	@echo "deb http://apt.llvm.org/jammy/ llvm-toolchain-jammy-15 main" | sudo tee /etc/apt/sources.list.d/llvm-15.list
	@sudo apt update
	@sudo apt install -y llvm-15 llvm-15-dev clang-15 lld-15 libpolly-15-dev zlib1g-dev libzstd-dev
	@sudo apt-get install -y llvm llvm-dev
# 	@rm -rf vendor/llvm/*
# 	@mkdir -p vendor/llvm
# 	@wget https://github.com/llvm/llvm-project/releases/download/llvmorg-15.0.0/clang+llvm-15.0.0-x86_64-linux-gnu-ubuntu-18.04.tar.xz -O /tmp/llvm-15.0.0.tar.xz
# 	@tar -xvf /tmp/llvm-15.0.0.tar.xz -C vendor/llvm
# 	@export LLVM_SYS_150_PREFIX=$PWD/vendor/llvm/clang+llvm-15.0.0-x86_64-linux-gnu-ubuntu-18.04
# 	@curl -sSL https://apt.llvm.org/llvm.sh | sudo bash -s 15 all
# 	@sudo sed -i -re 's/([a-z]{2}\.)?archive.ubuntu.com|security.ubuntu.com/old-releases.ubuntu.com/g' /etc/apt/sources.list
# 	@sudo apt-get update && sudo apt-get dist-upgrade
# 	@wget https://apt.llvm.org/llvm.sh && chmod +x llvm.sh && sudo ./llvm.sh 15 all && rm llvm.sh

build:
	@clear
	@echo "Building the project..."
	@cargo build

build-release:
	@clear
	@echo "Building the project (release)..."
	@cargo build --release

run:
	@clear
	@echo "Running main test..."
	@cargo run -- ./tests/test-001.smt2

clean:
	@clear
	@echo "Cleaning up..."
	@rm -rf ./translator/build
	@cargo clean

update-slot:
	@cd ./translator && $(MAKE) -f ./Makefile update-slot

SHELL := /bin/bash