summaryrefslogtreecommitdiff
path: root/src/generator/data/dune
blob: 0f8a827aa0e0dc537c39a683f269adbac364e385 (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
30
31
32
33
34
35
(rule
 (target DerivedCoreProperties.txt)
 (deps base_url)
 (action
  (run
   curl
   -L
   -s
   %{read:base_url}/ucd/DerivedCoreProperties.txt
   -o
   %{target})))

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

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

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