From 69a1a32ee9dd9e5ffac5b0cdd2262c3d45455b66 Mon Sep 17 00:00:00 2001 From: Tej Chajed Date: Wed, 1 Apr 2026 08:08:13 -0500 Subject: [PATCH] Add make install/uninstall targets Uses rocq makefile to generate Makefile.coq with proper install rules. Only installs src/ files under RecoveryRefinement, not vendored deps. Closes #8 Co-Authored-By: Claude Opus 4.6 (1M context) --- Makefile | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 4df3ad6..df1abd8 100644 --- a/Makefile +++ b/Makefile @@ -40,13 +40,22 @@ extract: logging-client/extract/ComposedRefinement.hs logging-client/extract/ComposedRefinement.hs: logging-client/Extract.vo ./scripts/add-preprocess.sh logging-client/extract/*.hs +Makefile.coq: _RocqProject $(VFILES) + @rocq makefile -R src $$(cat libname) $(VFILES) -o Makefile.coq + +install: coq Makefile.coq + $(MAKE) -f Makefile.coq install + +uninstall: Makefile.coq + $(MAKE) -f Makefile.coq uninstall + clean: @echo "CLEAN vo glob aux" @rm -f $(ALL_VFILES:.v=.vo) $(ALL_VFILES:.v=.glob) @find $(SRC_DIRS) -name ".*.aux" -exec rm {} \; @echo "CLEAN extraction" @rm -rf logging-client/extract/*.hs - rm -f _RocqProject .coqdeps.d + rm -f _RocqProject .coqdeps.d Makefile.coq Makefile.coq.conf .filestoinstall -.PHONY: all coq test clean extract +.PHONY: all coq test clean extract install uninstall .DELETE_ON_ERROR: