Merge pull request #51 from AI-Planning/tfd-support

Added scripts for supporting TFD
AI-Planning · Nov 26, 2021 · ec4c87c · ec4c87c
2 parents fe598f7 + e8e70be
commit ec4c87c
Show file tree

Hide file tree

Showing 4 changed files with 14 additions and 0 deletions.
diff --git a/planutils/packages/tfd/install b/planutils/packages/tfd/install
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+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
@@ -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
@@ -0,0 +1,2 @@
+#!/bin/bash
+singularity run -e $(dirname $0)/tfd.sif $@
diff --git a/planutils/packages/tfd/uninstall b/planutils/packages/tfd/uninstall
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+rm tfd.sif