Merge pull request #1 from mattam82/master

Fix Makefiles.
math-comp · Apr 3, 2015 · 9859058 · 9859058
2 parents 22d788f + 244e554
commit 9859058
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/mathcomp/Makefile b/mathcomp/Makefile
@@ -6,7 +6,7 @@ export COQPATH=$(PWD)/..
 all: ssreflect algebra fingroup odd_order solvable field character discrete real_closed ssrtest
 	$(MAKE) -C $@
 
-ssrefect:
+ssreflect:
 	$(MAKE) -C $@
 
 algebra: fingroup

diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile
@@ -4,11 +4,9 @@ ifeq "$(COQBIN)" ""
 COQBIN=$(dir $(shell which coqtop))/
 endif
 
-BRANCH_coq = $(shell $(COQBIN)/coqtop -v | head -1 | \
-  sed 's/.*version \([0-9]\.[0-9]\)[^ ]* .*/v\1/')
+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 = $(shell echo Quit. | $(COQBIN)/coqtop 2>&1 | head -1 | sed 's/^.*(\([a-f0-9]*\)).*/\1/' )
 
 HASH_coq_v85beta1 = eaa3d0b15adf4eb11ffb00ab087746a5b15c4d5d