Skip to content
Snippets Groups Projects
Commit 0ba93061 authored by Julien Girard-Satabin's avatar Julien Girard-Satabin Committed by Michele Alberti
Browse files

[wip] Tentatively add a sanity check for ensuring VERSION and TAG are the same

parent 35f7de73
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 1 deletion
Makefile
+ 4
− 1
View file @ 0ba93061
...@@ -38,15 +38,18 @@ view-doc: doc ...@@ -38,15 +38,18 @@ view-doc: doc
PROJECT_ID=1082 PROJECT_ID=1082
TAG=$(shell dune-release tag -f --yes > /dev/null 2>&1 && git describe --tags --abbrev=0) TAG=$(shell dune-release tag -f --yes > /dev/null 2>&1 && git describe --tags --abbrev=0)
PKG="caisar-$(TAG).tbz" PKG="caisar-$(TAG).tbz"
REG_VERSION=$(cat VERSION)
PACKAGE_URL="https://git.frama-c.com/api/v4/projects/$(PROJECT_ID)/packages/generic/caisar/$(TAG)/$(PKG)" PACKAGE_URL="https://git.frama-c.com/api/v4/projects/$(PROJECT_ID)/packages/generic/caisar/$(TAG)/$(PKG)"
DESCRIPTION="$(shell sed -n -e "p;n;:next;/^##/Q;p;n;b next" CHANGES.md | perl -pe 's/\n/\\n/')" DESCRIPTION="$(shell sed -n -e "p;n;:next;/^##/Q;p;n;b next" CHANGES.md | perl -pe 's/\n/\\n/')"
release: release:
@echo "Are git tag $(TAG) and VERSION file $(REG_VERSION) the same? (y/n)?"
@read yesno; test "$$yesno" = y
./update_version.sh ./update_version.sh
@echo -n $(DESCRIPTION) @echo -n $(DESCRIPTION)
@echo "Is the CHANGES.md correct for $(TAG) (y/n)?" @echo "Is the CHANGES.md correct for $(TAG) (y/n)?"
@read yesno; test "$$yesno" = y @read yesno; test "$$yesno" = y
echo $(TAG) > VERSION @echo $(TAG) > VERSION
dune-release tag $(TAG) dune-release tag $(TAG)
dune-release distrib --skip-build --skip-lint dune-release distrib --skip-build --skip-lint
curl --header "PRIVATE-TOKEN: $(GITLAB_TOKEN)" \ curl --header "PRIVATE-TOKEN: $(GITLAB_TOKEN)" \
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment