summaryrefslogtreecommitdiff
path: root/src/generator/data/dune
blob: c2199f9b6ee4876cb426f826dd95afa125a33065 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
(rule
 (targets DerivedCoreProperties.txt)
 (deps base_url)
 (action
  (run
   curl
   -L
   -s
   %{read:base_url}/ucd/DerivedCoreProperties.txt
   -o
   DerivedCoreProperties.txt)))

(rule
 (targets DerivedGeneralCategory.txt)
 (deps base_url)
 (action
  (run
   curl
   -L
   -s
   %{read:base_url}/ucd/extracted/DerivedGeneralCategory.txt
   -o
   DerivedGeneralCategory.txt)))

(rule
 (targets PropList.txt)
 (deps base_url)
 (action
  (run curl -L -s %{read:base_url}/ucd/PropList.txt -o PropList.txt)))