281c774afd
- Add -pervasives and -no-curl patches - Use local Unicode tables instead of downloading - Build documentation with odoc - Add a %check script
21 lines
950 B
Diff
21 lines
950 B
Diff
--- sedlex-2.2/src/generator/data/dune.orig 2020-02-08 14:55:37.000000000 -0700
|
|
+++ sedlex-2.2/src/generator/data/dune 2020-06-18 09:51:50.348134755 -0600
|
|
@@ -1,14 +1,11 @@
|
|
(rule
|
|
(targets DerivedCoreProperties.txt)
|
|
- (deps base_url)
|
|
- (action (run curl -L -s %{read:base_url}/ucd/DerivedCoreProperties.txt -o DerivedCoreProperties.txt)))
|
|
+ (action (copy /usr/share/unicode/ucd/DerivedCoreProperties.txt DerivedCoreProperties.txt)))
|
|
|
|
(rule
|
|
(targets DerivedGeneralCategory.txt)
|
|
- (deps base_url)
|
|
- (action (run curl -L -s %{read:base_url}/ucd/extracted/DerivedGeneralCategory.txt -o DerivedGeneralCategory.txt)))
|
|
+ (action (copy /usr/share/unicode/ucd/extracted/DerivedGeneralCategory.txt DerivedGeneralCategory.txt)))
|
|
|
|
(rule
|
|
(targets PropList.txt)
|
|
- (deps base_url)
|
|
- (action (run curl -L -s %{read:base_url}/ucd/PropList.txt -o PropList.txt)))
|
|
+ (action (copy /usr/share/unicode/ucd/PropList.txt PropList.txt)))
|