lean-containers/Makefile at main · fraware/lean-containers · 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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
# lean-containers Makefile
# Provides convenient targets for development, testing, and release

.PHONY: help dev run release test clean build install release-check
RELEASE_VERSION := $(shell tr -d '\r\n' < VERSION)

# Default target
help: ## Show this help message
	@echo "lean-containers Makefile"
	@echo "Available targets:"
	@awk 'BEGIN {FS = ":.*?## "} /^[a-zA-Z_-]+:.*?## / {printf "  %-15s %s\n", $$1, $$2}' $(MAKEFILE_LIST)

dev: ## Set up local development environment
	@echo "Setting up development environment..."
	@if ! command -v lean >/dev/null 2>&1; then \
		echo "Installing Lean 4..."; \
		curl https://raw.githubusercontent.com/leanprover/lean4/master/elan-init.sh -sSf | sh; \
		source ~/.bashrc 2>/dev/null || true; \
	fi
	@if ! command -v lake >/dev/null 2>&1; then \
		echo "Lake is included with Lean 4"; \
	fi
	lake update
	lake build
	@echo "Development environment ready!"

run: ## Run the application/CLI locally
	@echo "Running lean-containers..."
	lake build
	lake env lean Main.lean

test: ## Run all tests
	@echo "Running production tests..."
	lake build
	lake env lean FinalProductionTest.lean
	@echo "All tests passed!"

build: ## Build the project
	@echo "Building lean-containers..."
	lake build

clean: ## Clean build artifacts
	@echo "Cleaning build artifacts..."
	lake clean

install: ## Install as a dependency (for Lake projects)
	@echo "To use lean-containers in your Lake project, add to your Lakefile:"
	@echo "require lean-containers from git \"https://github.com/fraware/lean-containers.git\""

release-check: ## Validate release metadata consistency
	@chmod +x scripts/check-release-consistency.sh
	@./scripts/check-release-consistency.sh

release-dry: ## Build and test release artifacts (dry run)
	@echo "Dry run release process..."
	@echo "0. Validating release metadata..."
	$(MAKE) release-check
	@echo "1. Building project..."
	lake build
	@echo "2. Running tests..."
	lake env lean FinalProductionTest.lean
	@echo "3. Testing Docker build..."
	docker build -t lean-containers:test .
	@echo "4. Testing Docker run..."
	docker run --rm lean-containers:test
	@echo "Release dry run completed successfully!"

release: ## Build and publish artifacts
	@echo "Running release script..."
	@if [ -f scripts/release.sh ]; then \
		chmod +x scripts/release.sh && ./scripts/release.sh; \
	elif [ -f scripts/release.bat ]; then \
		scripts/release.bat; \
	else \
		echo "Building release artifacts manually..."; \
		$(MAKE) build; \
		$(MAKE) test; \
		echo "Building Docker image..."; \
		docker build --build-arg VERSION=$(RELEASE_VERSION) -t ghcr.io/fraware/lean-containers:latest .; \
		docker build --build-arg VERSION=$(RELEASE_VERSION) -t ghcr.io/fraware/lean-containers:$(RELEASE_VERSION) .; \
		echo "Release artifacts built successfully!"; \
		echo "To publish:"; \
		echo "  docker push ghcr.io/fraware/lean-containers:latest"; \
		echo "  docker push ghcr.io/fraware/lean-containers:$(RELEASE_VERSION)"; \
	fi

docker-build: ## Build Docker image
	docker build -t lean-containers .

docker-run: ## Run Docker container
	docker run --rm lean-containers

# CI/CD targets
ci-test: ## Run tests for CI
	lake build
	lake env lean FinalProductionTest.lean

ci-build: ## Build for CI
	lake build