Skip to content

Commit

Permalink
Merge pull request xapi-project#689 from psafont/next
Browse files Browse the repository at this point in the history
  • Loading branch information
psafont authored Aug 19, 2024
2 parents a2e1c25 + 0c931f3 commit 3708e3d
Show file tree
Hide file tree
Showing 5 changed files with 95 additions and 110 deletions.
11 changes: 0 additions & 11 deletions tools/Dockerfile

This file was deleted.

17 changes: 0 additions & 17 deletions tools/cleanup.sh

This file was deleted.

64 changes: 0 additions & 64 deletions tools/default-opam-repo-sync.sh

This file was deleted.

18 changes: 0 additions & 18 deletions tools/installtest.sh

This file was deleted.

95 changes: 95 additions & 0 deletions tools/update-xs-extra.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,95 @@
#! /usr/bin/env bash
# Emit a table of opam file and where to download it. This can be used
# to update Opam files to the version in a code repository

EXTRA="packages/xs-extra"
XAPI="xapi-project"
XSER="xenserver"

MAP="\
clock $XAPI/xen-api
cohttp-posix $XAPI/xen-api
ezxenstore $XAPI/xen-api
forkexec $XAPI/xen-api
gzip $XAPI/xen-api
http-lib $XAPI/xen-api
message-switch $XAPI/xen-api
message-switch-async $XAPI/xen-api
message-switch-cli $XAPI/xen-api
message-switch-core $XAPI/xen-api
message-switch-lwt $XAPI/xen-api
message-switch-unix $XAPI/xen-api
pciutil $XAPI/xen-api
rrd2csv $XAPI/xen-api
rrd-transport $XAPI/xen-api
rrdd-plugin $XAPI/xen-api
rrdd-plugins $XAPI/xen-api
rrddump $XAPI/xen-api
safe-resources $XAPI/xen-api
sexpr $XAPI/xen-api
stunnel $XAPI/xen-api
uuid $XAPI/xen-api
varstored-guard $XAPI/xen-api
vhd-format $XAPI/xen-api
vhd-format-lwt $XAPI/xen-api
vhd-tool $XAPI/xen-api
wsproxy $XAPI/xen-api
xapi $XAPI/xen-api
xapi-cli-protocol $XAPI/xen-api
xapi-client $XAPI/xen-api
xapi-compression $XAPI/xen-api
xapi-consts $XAPI/xen-api
xapi-expiry-alerts $XAPI/xen-api
xapi-datamodel $XAPI/xen-api
xapi-forkexecd $XAPI/xen-api
xapi-idl $XAPI/xen-api
xapi-log $XAPI/xen-api
xapi-nbd $XAPI/xen-api
xapi-networkd $XAPI/xen-api
xapi-open-uri $XAPI/xen-api
xapi-plugin $XAPI/ocaml-xapi-plugin
xapi-rrd-transport-utils $XAPI/xen-api
xapi-rrdd $XAPI/xen-api
xapi-rrdd-plugin $XAPI/xen-api
xapi-sdk $XAPI/xen-api
xapi-schema $XAPI/xen-api
xapi-squeezed $XAPI/xen-api
xapi-stdext-date $XAPI/xen-api
xapi-stdext-encodings $XAPI/xen-api
xapi-stdext-pervasives $XAPI/xen-api
xapi-stdext-std $XAPI/xen-api
xapi-stdext-threads $XAPI/xen-api
xapi-stdext-unix $XAPI/xen-api
xapi-stdext-zerocheck $XAPI/xen-api
xapi-storage $XAPI/xen-api
xapi-storage-cli $XAPI/xen-api
xapi-storage-script $XAPI/xen-api
xapi-tracing $XAPI/xen-api
xapi-tracing-export $XAPI/xen-api
xapi-types $XAPI/xen-api
xapi-xenopsd $XAPI/xen-api
xapi-xenopsd-cli $XAPI/xen-api
xapi-xenopsd-simulator $XAPI/xen-api
xapi-xenopsd-xc $XAPI/xen-api
xe $XAPI/xen-api
xen-api-client $XAPI/xen-api
xen-api-client-async $XAPI/xen-api
xen-api-client-lwt $XAPI/xen-api
xenctrl $XAPI/xenctrl
xenmmap $XAPI/xenctrl
xml-light2 $XAPI/xen-api
zstd $XAPI/xen-api"

echo "$MAP" | while read -r opam repo; do
opam_file="$EXTRA/$opam.master/opam"
url_source="\
url {
src: \"https://github.com/$repo/archive/master.tar.gz\"
}"

curl -L https://raw.githubusercontent.com/"$repo"/master/"$opam".opam > "$opam_file"
# do not add the field if it's already in the opam file
if ! grep -Fq "url {" "$opam_file"; then
echo "$url_source" >> "$opam_file"
fi
done

0 comments on commit 3708e3d

Please sign in to comment.