--- sedlex-3.2/src/generator/data/dune.orig 2023-06-29 14:52:48.000000000 -0600
+++ sedlex-3.2/src/generator/data/dune 2023-07-03 15:13:37.561205871 -0600
@@ -1,35 +1,16 @@
(rule
(target DerivedCoreProperties.txt)
- (deps base_url)
- (action
- (run
- curl
- -L
- -s
- %{read:base_url}/ucd/DerivedCoreProperties.txt
- -o
- %{target})))
+ (action (copy /usr/share/unicode/ucd/DerivedCoreProperties.txt DerivedCoreProperties.txt)))
(rule
(target DerivedGeneralCategory.txt)
- (deps base_url)
- (action
- (run
- curl
- -L
- -s
- %{read:base_url}/ucd/extracted/DerivedGeneralCategory.txt
- -o
- %{target})))
+ (action (copy /usr/share/unicode/ucd/extracted/DerivedGeneralCategory.txt DerivedGeneralCategory.txt)))
(rule
(target PropList.txt)
- (deps base_url)
- (action
- (run curl -L -s %{read:base_url}/ucd/PropList.txt -o %{target})))
+ (action (copy /usr/share/unicode/ucd/PropList.txt PropList.txt)))
(rule
(target UnicodeData.txt)
(deps base_url)
- (action
- (run curl -L -s %{read:base_url}/ucd/UnicodeData.txt -o %{target})))
+ (action (copy /usr/share/unicode/ucd/UnicodeData.txt UnicodeData.txt)))