Skip to content
Snippets Groups Projects
Commit cf545317 authored by erwan's avatar erwan
Browse files

Build: fix the version number for opam releases

parent d1ce2327
No related branches found
No related tags found
No related merge requests found
Pipeline #23933 failed
Stage: build
    Stage: test
      Stage: release
        Hide whitespace changes
        Inline Side-by-side
        Showing
        with 5 additions and 3 deletions
        Makefile.version
        + 5
        − 3
        View file @ cf545317
        # if it is not a git version, it has to be an opam version!
        SHA:=$(shell git log -1 --pretty=format:"%h") SHA:=$(shell git log -1 --pretty=format:"%h" || echo "opam")
        VERSION=$(shell git describe --tags) BRANCH:=$(shell git branch | grep "*" | cut -d ' ' -f 2 || basename `pwd` | echo "opam")
        VERSION=$(shell git describe --tags || basename `pwd` | cut -d '.' -f2-4)
        gen_version: gen_version:
        rm -f src/lv6version.ml rm -f src/lv6version.ml
        ...@@ -10,5 +12,5 @@ src/lv6version.ml: Makefile ...@@ -10,5 +12,5 @@ src/lv6version.ml: Makefile
        echo "let tool = \"lv6\"" >> $@ echo "let tool = \"lv6\"" >> $@
        echo "let str=\"$(VERSION)\"" >> $@ echo "let str=\"$(VERSION)\"" >> $@
        echo "let sha=\"$(SHA)\"" >> $@ echo "let sha=\"$(SHA)\"" >> $@
        echo "let branch = \"$(shell utils/get_branch_name)\"" >> $@ echo "let branch = \"$(BRANCH)\"" >> $@
        echo "let maintainer = \"erwan.jahier@univ-grenoble-alpes.fr\"">> $@ echo "let maintainer = \"erwan.jahier@univ-grenoble-alpes.fr\"">> $@
        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