From 9043add656177eeac1491a73d2f3ab92bec0013c Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sat, 29 Dec 2018 14:31:27 -0500 Subject: Imported Upstream version 8.8.2 --- .../windows/patches_coq/quickchick-v1.0.2.patch | 38 ++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 dev/build/windows/patches_coq/quickchick-v1.0.2.patch (limited to 'dev/build/windows/patches_coq/quickchick-v1.0.2.patch') diff --git a/dev/build/windows/patches_coq/quickchick-v1.0.2.patch b/dev/build/windows/patches_coq/quickchick-v1.0.2.patch new file mode 100644 index 00000000..d03749ba --- /dev/null +++ b/dev/build/windows/patches_coq/quickchick-v1.0.2.patch @@ -0,0 +1,38 @@ +diff/patch file created on Mon, Aug 27, 2018 9:21:52 AM with: +difftar-folder.sh tarballs/quickchick-v1.0.2.tar.gz quickchick-v1.0.2 1 +TARFILE= tarballs/quickchick-v1.0.2.tar.gz +FOLDER= quickchick-v1.0.2 +TARSTRIP= 1 +TARPREFIX= QuickChick-1.0.2/ +ORIGFOLDER= quickchick-v1.0.2.orig +--- quickchick-v1.0.2.orig/Makefile 2018-08-22 18:21:39.000000000 +0200 ++++ quickchick-v1.0.2/Makefile 2018-08-27 09:21:04.710461100 +0200 +@@ -2,7 +2,7 @@ + .PHONY: plugin install install-plugin clean quickChickTool + + QCTOOL_DIR=quickChickTool +-QCTOOL_EXE=quickChickTool.byte ++QCTOOL_EXE=quickChickTool.native + QCTOOL_SRC=$(QCTOOL_DIR)/quickChickTool.ml \ + $(QCTOOL_DIR)/quickChickToolTypes.ml \ + $(QCTOOL_DIR)/quickChickToolLexer.mll \ +@@ -32,7 +32,7 @@ + install: all + $(V)$(MAKE) -f Makefile.coq install > $(TEMPFILE) + # Manually copying the remaining files +- $(V)cp $(QCTOOL_EXE) $(shell opam config var bin)/quickChick ++ $(V)cp $(QCTOOL_EXE) "$(COQBIN)/quickChick" + # $(V)cp src/quickChickLib.cmx $(COQLIB)/user-contrib/QuickChick + # $(V)cp src/quickChickLib.o $(COQLIB)/user-contrib/QuickChick + +--- quickchick-v1.0.2.orig/src/Show.v 2018-08-22 18:21:39.000000000 +0200 ++++ quickchick-v1.0.2/src/Show.v 2018-08-27 09:21:35.893961900 +0200 +@@ -228,7 +228,7 @@ + match s with + | EmptyString => (if b then ")" else "", b) + | String a s => +- let (s', b) := aux s (orb b (nat_of_ascii a =? 32)) in ++ let (s', b) := aux s (orb b (nat_of_ascii a =? 32)%nat) in + (String a s', b) + end in + let (s', b) := aux s false in -- cgit v1.2.3