diff options
| author | Enrico Tassi | 2015-07-28 11:16:38 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-07-28 11:17:04 +0200 |
| commit | 2e6d512c29c72bb220dacabc79392334283d604e (patch) | |
| tree | 82c553a6b1b7bb09c48d909c72ad9529835870c6 /mathcomp/ssreflect/Makefile.detect-coq-version | |
| parent | ab806317d7f364eaf74a3a23e25abd37882b2be5 (diff) | |
factor common Makefile stuff
Diffstat (limited to 'mathcomp/ssreflect/Makefile.detect-coq-version')
| -rw-r--r-- | mathcomp/ssreflect/Makefile.detect-coq-version | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/mathcomp/ssreflect/Makefile.detect-coq-version b/mathcomp/ssreflect/Makefile.detect-coq-version new file mode 100644 index 0000000..7f2202d --- /dev/null +++ b/mathcomp/ssreflect/Makefile.detect-coq-version @@ -0,0 +1,16 @@ +BRANCH_coq = $(shell $(COQBIN)coqtop -v | head -1 \ + | sed 's/.*version \([0-9]\.[0-9]\)[^ ]* .*/v\1/') + +HASH_coq = $(shell echo Quit. | $(COQBIN)coqtop 2>&1 | head -1 \ + | sed 's/^.*(\([a-f0-9]*\)).*/\1/' ) + +HASH_coq_v85beta1 = eaa3d0b15adf4eb11ffb00ab087746a5b15c4d5d +HASH_coq_v85beta2 = 94afd8996251c30d2188a75934487009538e1303 + +V=$(BRANCH_coq) +ifeq "$(HASH_coq)" "$(HASH_coq_v85beta1)" +V=v8.5beta1 +endif +ifeq "$(HASH_coq)" "$(HASH_coq_v85beta2)" +V=v8.5beta2 +endif |