agent-code-reasoning/Makefile at main · regen-dev/agent-code-reasoning · 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
CLAUDE_CONFIG    := $(HOME)/.claude/CLAUDE.md
CLAUDE_COMMANDS  := $(HOME)/.claude/commands
CODEX_CONFIG     := $(HOME)/.codex/AGENTS.md
CODEX_SKILLS     := $(HOME)/.codex/skills0

MARKER := Semi-Formal Code Reasoning (always active)

.PHONY: install install-claude install-codex uninstall uninstall-claude uninstall-codex status

install: install-claude install-codex

install-claude: install-claude-principles install-claude-command

install-claude-principles:
	@if [ ! -f "$(CLAUDE_CONFIG)" ]; then \
		echo "Creating $(CLAUDE_CONFIG)"; \
		mkdir -p "$$(dirname "$(CLAUDE_CONFIG)")"; \
		cat principles.md >> "$(CLAUDE_CONFIG)"; \
	elif grep -qF "$(MARKER)" "$(CLAUDE_CONFIG)"; then \
		echo "claude: principles already installed, skipping"; \
	else \
		echo "" >> "$(CLAUDE_CONFIG)"; \
		cat principles.md >> "$(CLAUDE_CONFIG)"; \
		echo "claude: principles appended to $(CLAUDE_CONFIG)"; \
	fi

install-claude-command:
	@mkdir -p "$(CLAUDE_COMMANDS)"
	@cp claude-code/verify.md "$(CLAUDE_COMMANDS)/verify.md"
	@echo "claude: /verify command installed"

install-codex: install-codex-principles install-codex-skill

install-codex-principles:
	@if [ ! -f "$(CODEX_CONFIG)" ]; then \
		echo "Creating $(CODEX_CONFIG)"; \
		mkdir -p "$$(dirname "$(CODEX_CONFIG)")"; \
		cat principles.md >> "$(CODEX_CONFIG)"; \
	elif grep -qF "$(MARKER)" "$(CODEX_CONFIG)"; then \
		echo "codex: principles already installed, skipping"; \
	else \
		echo "" >> "$(CODEX_CONFIG)"; \
		cat principles.md >> "$(CODEX_CONFIG)"; \
		echo "codex: principles appended to $(CODEX_CONFIG)"; \
	fi

install-codex-skill:
	@mkdir -p "$(CODEX_SKILLS)/verify"
	@cp codex-cli/SKILL.md "$(CODEX_SKILLS)/verify/SKILL.md"
	@echo "codex: verify skill installed"

uninstall: uninstall-claude uninstall-codex

uninstall-claude:
	@if [ -f "$(CLAUDE_CONFIG)" ] && grep -qF "$(MARKER)" "$(CLAUDE_CONFIG)"; then \
		sed -i '/## $(MARKER)/,/^$$/d' "$(CLAUDE_CONFIG)"; \
		sed -i '/^1\. \*\*Read before concluding/,/input → function calls → output).$$/d' "$(CLAUDE_CONFIG)"; \
		echo "claude: principles removed from $(CLAUDE_CONFIG)"; \
	else \
		echo "claude: principles not found, skipping"; \
	fi
	@rm -f "$(CLAUDE_COMMANDS)/verify.md"
	@echo "claude: /verify command removed"

uninstall-codex:
	@if [ -f "$(CODEX_CONFIG)" ] && grep -qF "$(MARKER)" "$(CODEX_CONFIG)"; then \
		sed -i '/## $(MARKER)/,/^$$/d' "$(CODEX_CONFIG)"; \
		sed -i '/^1\. \*\*Read before concluding/,/input → function calls → output).$$/d' "$(CODEX_CONFIG)"; \
		echo "codex: principles removed from $(CODEX_CONFIG)"; \
	else \
		echo "codex: principles not found, skipping"; \
	fi
	@rm -rf "$(CODEX_SKILLS)/verify"
	@echo "codex: verify skill removed"

status:
	@echo "=== Claude Code ==="
	@if grep -qF "$(MARKER)" "$(CLAUDE_CONFIG)" 2>/dev/null; then \
		echo "  principles: installed"; \
	else \
		echo "  principles: not installed"; \
	fi
	@if [ -f "$(CLAUDE_COMMANDS)/verify.md" ]; then \
		echo "  /verify:     installed"; \
	else \
		echo "  /verify:     not installed"; \
	fi
	@echo "=== Codex CLI ==="
	@if grep -qF "$(MARKER)" "$(CODEX_CONFIG)" 2>/dev/null; then \
		echo "  principles: installed"; \
	else \
		echo "  principles: not installed"; \
	fi
	@if [ -d "$(CODEX_SKILLS)/verify" ]; then \
		echo "  verify:      installed"; \
	else \
		echo "  verify:      not installed"; \
	fi