diff options
author | Benjamin Barenblat <bbaren@debian.org> | 2019-02-02 19:29:23 -0500 |
---|---|---|
committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-02 19:29:23 -0500 |
commit | 9ebf44d84754adc5b64fcf612c6816c02c80462d (patch) | |
tree | bf5e06a28488e0e06a2f2011ff0d110e2e02f8fc /dev/build/windows/patches_coq/quickchick-v1.0.2.patch | |
parent | 9043add656177eeac1491a73d2f3ab92bec0013c (diff) |
Imported Upstream version 8.9.0upstream/8.9.0upstream
Diffstat (limited to 'dev/build/windows/patches_coq/quickchick-v1.0.2.patch')
-rw-r--r-- | dev/build/windows/patches_coq/quickchick-v1.0.2.patch | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/dev/build/windows/patches_coq/quickchick-v1.0.2.patch b/dev/build/windows/patches_coq/quickchick-v1.0.2.patch deleted file mode 100644 index d03749ba..00000000 --- a/dev/build/windows/patches_coq/quickchick-v1.0.2.patch +++ /dev/null @@ -1,38 +0,0 @@ -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 |