From 626f01c815612900821b807244ec228acc6bbae4 Mon Sep 17 00:00:00 2001
From: Marco Roveri <marco.roveri@gmail.com>
Date: Fri, 26 Nov 2021 05:22:20 +0100
Subject: [PATCH] Added scripts for supporting TFD

---
 planutils/packages/tfd/install       | 14 ++++++++++++++
 planutils/packages/tfd/manifest.json |  6 ++++++
 planutils/packages/tfd/run           |  5 +++++
 planutils/packages/tfd/uninstall     |  3 +++
 4 files changed, 28 insertions(+)
 create mode 100755 planutils/packages/tfd/install
 create mode 100644 planutils/packages/tfd/manifest.json
 create mode 100755 planutils/packages/tfd/run
 create mode 100755 planutils/packages/tfd/uninstall

diff --git a/planutils/packages/tfd/install b/planutils/packages/tfd/install
new file mode 100755
index 0000000..38290d7
--- /dev/null
+++ b/planutils/packages/tfd/install
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+# No need to install planutils dependencies
+# No need to check if already installed
+# The install script will be run from the package's directory
+
+# To use if root is required
+#[ "$UID" -eq 0 ] || (echo "installation requires root access"; exec sudo "$0" "$@")
+
+# Recipe for singularity images
+## Fetch the image
+#singularity pull --name <image name> <singularity shub url>
+
+singularity pull --name tfd.sif https://github.com/roveri-marco/tfd/releases/download/0.4/roveri-marco-tfd.latest.sif
diff --git a/planutils/packages/tfd/manifest.json b/planutils/packages/tfd/manifest.json
new file mode 100644
index 0000000..f2a5dd4
--- /dev/null
+++ b/planutils/packages/tfd/manifest.json
@@ -0,0 +1,6 @@
+{
+    "name": "The TFD temporal planner",
+    "description": "The TFD temporal planner (see https://github.com/roveri-marco/tfd)",
+    "install-size": "145MB",
+    "dependencies": []
+}
diff --git a/planutils/packages/tfd/run b/planutils/packages/tfd/run
new file mode 100755
index 0000000..b68ebb3
--- /dev/null
+++ b/planutils/packages/tfd/run
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# whatever command-line method needs to be used to run this package
+
+singularity run -e $(dirname $0)/tfd.sif $@
diff --git a/planutils/packages/tfd/uninstall b/planutils/packages/tfd/uninstall
new file mode 100755
index 0000000..e3a1f71
--- /dev/null
+++ b/planutils/packages/tfd/uninstall
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm tfd.sif