File: dl.sh

package info (click to toggle)
golang-github-mmcloughlin-avo 0.5.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, sid, trixie
  • size: 15,024 kB
  • sloc: xml: 71,029; asm: 14,862; sh: 194; makefile: 21; ansic: 11
file content (83 lines) | stat: -rwxr-xr-x 1,975 bytes parent folder | download
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
#!/bin/bash -ex

datadir=$(dirname "${BASH_SOURCE[0]}")

dl() {
    local url=$1
    local name=${2:-$(basename ${url})}

    mkdir -p ${datadir}
    curl --output ${datadir}/${name} ${url}

    echo "* ${url}"
}

hdr() {
    echo "-----------------------------------------------------------------------------"
    echo $1
    echo "-----------------------------------------------------------------------------"
}

addlicense() {
    local repo=$1
    local file=$2

    tmp=$(mktemp)
    mv ${file} ${tmp}

    # append to LICENSE file
    {
        hdr "${repo} license"
        echo
        cat ${tmp}
        echo
    } >> ${datadir}/LICENSE

    # include in readme
    echo "### License"
    echo '```'
    cat ${tmp}
    echo '```'

    rm ${tmp}
}

{
    echo '# data'
    echo 'Underlying data files for instruction database.'
    echo

    # golang/arch x86 csv
    repo='golang/arch'
    ref='b76863e36670e165c85261bc41fabaf345376022'

    echo "## ${repo}"
    echo 'Files downloaded:'
    echo
    dl https://raw.githubusercontent.com/${repo}/${ref}/x86/x86.v0.2.csv
    dl https://raw.githubusercontent.com/${repo}/${ref}/LICENSE golang-arch-license.txt
    addlicense ${repo} ${datadir}/golang-arch-license.txt

    # golang/go aliases list.
    repo='golang/go'
    ref='go1.17.6'

    echo "## ${repo}"
    echo 'Files downloaded:'
    echo
    dl https://raw.githubusercontent.com/${repo}/${ref}/src/cmd/asm/internal/arch/arch.go arch.go.txt
    dl https://raw.githubusercontent.com/${repo}/${ref}/LICENSE golang-go-license.txt
    addlicense ${repo} ${datadir}/golang-go-license.txt

    # opcodes
    repo='Maratyszcza/Opcodes'
    ref='6e2b0cd9f1403ecaf164dea7019dd54db5aea252'

    echo "## ${repo}"
    echo 'Files downloaded:'
    echo
    dl https://raw.githubusercontent.com/${repo}/${ref}/opcodes/x86_64.xml
    dl https://raw.githubusercontent.com/${repo}/${ref}/license.rst
    addlicense ${repo} ${datadir}/license.rst

} > ${datadir}/README.md