Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/distro.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRui Guo <guorui.xt@gmail.com>2016-11-21 13:14:27 +0300
committerRui Guo <guorui.xt@gmail.com>2016-11-21 13:14:27 +0300
commit901d2304c6e99b782aa1510004285a2c1bc97f3c (patch)
tree2065251a95793f045f1ad7fbecf9cfcc49828061 /win-files
parentd2c2e96b142cc51e65df61fb1074b9ec6fddad5a (diff)
update wineditline from 2.101 to 2.201 in trepl
Diffstat (limited to 'win-files')
-rw-r--r--win-files/patch/trepl.patch15
1 files changed, 15 insertions, 0 deletions
diff --git a/win-files/patch/trepl.patch b/win-files/patch/trepl.patch
new file mode 100644
index 0000000..14cc036
--- /dev/null
+++ b/win-files/patch/trepl.patch
@@ -0,0 +1,15 @@
+diff --git a/trepl-scm-1.rockspec b/trepl-scm-1.rockspec
+index 76fdb60..e0dae03 100644
+--- a/trepl-scm-1.rockspec
++++ b/trepl-scm-1.rockspec
+@@ -49,8 +49,8 @@ build = {
+ sources = {'readline.c'},
+ libraries = {'readline'},
+ defines = {"WinEditLine"},
+- incdirs = {"..\\..\\win-files\\3rd\\wineditline-2.101\\include"},
+- libdirs = {"..\\..\\win-files\\3rd\\wineditline-2.101\\lib64"},
++ incdirs = {"..\\..\\win-files\\3rd\\wineditline-2.201\\include"},
++ libdirs = {"..\\..\\win-files\\3rd\\wineditline-2.201\\lib64"},
+ libraries = {'edit_static', 'user32'}
+ }
+ }