diff --git a/php-client/bin/monitor.phar b/php-client/bin/monitor.phar index 18eb4a568aa4d36d7e935b53d3d0ef317785910d..60d349175409958c8574f5a4958b220a390b2240 100755 Binary files a/php-client/bin/monitor.phar and b/php-client/bin/monitor.phar differ diff --git a/php-client/manifest.json.tmpl b/php-client/manifest.json.tmpl new file mode 100644 index 0000000000000000000000000000000000000000..a92acaeda0f3046b42bcd57a40ccf9b5574ad2fe --- /dev/null +++ b/php-client/manifest.json.tmpl @@ -0,0 +1,8 @@ +[ + { + "name": "monitor.phar", + "sha1": "{{sha1}}", + "url": "https://gitlab.cylab.be/cylab/monitoring/blob/master/php-client/release/monitor-{{version}}.phar", + "version": "{{version}}" + } +] diff --git a/php-client/release/manifest.json b/php-client/release/manifest.json new file mode 100644 index 0000000000000000000000000000000000000000..326b0f8247ec3f8ba5350c4c30aa7221baa8bd41 --- /dev/null +++ b/php-client/release/manifest.json @@ -0,0 +1,8 @@ +[ + { + "name": "monitor.phar", + "sha1": "c60f1588d249716f3410c2f35b5e13d294b0b0f8", + "url": "https://gitlab.cylab.be/cylab/monitoring/blob/master/php-client/release/monitor-20180803.161013.phar", + "version": "20180803.161013" + } +] diff --git a/php-client/release/monitor-20180803.161013.phar b/php-client/release/monitor-20180803.161013.phar new file mode 100644 index 0000000000000000000000000000000000000000..60d349175409958c8574f5a4958b220a390b2240 Binary files /dev/null and b/php-client/release/monitor-20180803.161013.phar differ diff --git a/php-client/scripts/release.php b/php-client/scripts/release.php new file mode 100755 index 0000000000000000000000000000000000000000..2bacdf7b12eeb93056af85765682d40dabf16556 --- /dev/null +++ b/php-client/scripts/release.php @@ -0,0 +1,18 @@ +#!/usr/bin/env php +<?php +$date = date("Ymd.His"); + +file_put_contents(__DIR__ . "/../version", $date); +exec(__DIR__ . "/../vendor/bin/box build"); +file_put_contents(__DIR__ . "/../version", "@dev"); + +$source = __DIR__ . "/../bin/monitor.phar"; +$sha1 = sha1(file_get_contents($source)); +$target = __DIR__ . "/../release/monitor-$date.phar"; + +$manifest = file_get_contents("manifest.json.tmpl"); +$manifest = str_replace("{{version}}", $date, $manifest); +$manifest = str_replace("{{sha1}}", $sha1, $manifest); + +file_put_contents(__DIR__ . "/../release/manifest.json", $manifest); +copy($source, $target); diff --git a/php-client/scripts/release.sh b/php-client/scripts/release.sh deleted file mode 100755 index 83fb085f096ca57189c26a36bfe8b5822fae56b7..0000000000000000000000000000000000000000 --- a/php-client/scripts/release.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh - -DATE=`date '+%Y%m%d.%H%M%S'` -echo $DATE > version -./vendor/bin/box build -echo "@dev" > version diff --git a/php-client/version b/php-client/version index adfd1ad69e6bea14c439ae4216a8d5ef7a5da830..5d2c3d3d4d0f05cd3f0119fceb8bb32e27da69c3 100644 --- a/php-client/version +++ b/php-client/version @@ -1 +1 @@ -@dev +@dev \ No newline at end of file