Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] Deploy pipeline #31

Merged
merged 3 commits into from
Jan 1, 2025
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,6 @@ jobs:
- name: Run tests
run: opam exec -- dune test

- name: Format code
run: opam exec -- dune build --auto-promote @fmt
if: runner.os == 'Linux'
# - name: Format code
# run: opam exec -- dune build --auto-promote @fmt
# if: runner.os == 'Linux'
3 changes: 0 additions & 3 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -1,3 +0,0 @@
[submodule "rocq-doc"]
path = rocq-doc
url = https://github.com/coq/doc
17 changes: 13 additions & 4 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
.DEFAULT_GOAL := all
DOC_PATH=`pwd`/rocq-doc/

.PHONY: all
all:
Expand Down Expand Up @@ -32,8 +33,18 @@ playground:
install: all ## Install the packages on the system
opam exec -- dune install --root .

.PHONY: local-doc
local-doc:
if [ -d rocq-doc ]; then cd rocq-doc && git pull; \
else git clone --depth 1 https://github.com/coq/doc.git rocq-doc; fi

.PHONY: update-local-doc
update-local-doc:
@if [ -d rocq-doc ]; then cd rocq-doc && git pull; \
else echo "No local doc copy, use \"make local-doc\" to get a local copy (~ 8 GB)"; fi

.PHONY: start
start: all ## Run the produced executable
start: all update-local-doc ## Run the produced executable
opam exec -- dune exec src/rocqproverorg_web/bin/main.exe

.PHONY: test
Expand All @@ -51,11 +62,9 @@ doc: ## Generate odoc documentation
.PHONY: fmt
fmt: ## Format the codebase with ocamlformat
opam exec -- dune build --root . --auto-promote @fmt

DOC_PATH=`pwd`/rocq-doc/

.PHONY: watch
watch: ## Watch for the filesystem and rebuild on every change
watch: update-local-doc ## Watch for the filesystem and rebuild on every change
DOC_PATH=${DOC_PATH} opam exec -- dune build @run -w --force --no-buffer

.PHONY: utop
Expand Down
1 change: 0 additions & 1 deletion rocq-doc
Submodule rocq-doc deleted from df17f8
Loading