From 0f9b0ca5883c1c7c0aa7ca01843de994c01852ee Mon Sep 17 00:00:00 2001 From: Jason Dekarske Date: Mon, 26 Jul 2021 16:49:33 -0700 Subject: [PATCH 1/3] add smtplan+ --- planutils/packages/smtplan+/install | 5 +++++ planutils/packages/smtplan+/manifest.json | 6 ++++++ planutils/packages/smtplan+/run | 3 +++ planutils/packages/smtplan+/uninstall | 3 +++ 4 files changed, 17 insertions(+) create mode 100755 planutils/packages/smtplan+/install create mode 100644 planutils/packages/smtplan+/manifest.json create mode 100755 planutils/packages/smtplan+/run create mode 100755 planutils/packages/smtplan+/uninstall diff --git a/planutils/packages/smtplan+/install b/planutils/packages/smtplan+/install new file mode 100755 index 0000000..ff1afc2 --- /dev/null +++ b/planutils/packages/smtplan+/install @@ -0,0 +1,5 @@ +#!/bin/bash + + +## Fetch the image +singularity pull --name smtplan.sif library://jdekarske/default/smtplan:latest diff --git a/planutils/packages/smtplan+/manifest.json b/planutils/packages/smtplan+/manifest.json new file mode 100644 index 0000000..990b4c2 --- /dev/null +++ b/planutils/packages/smtplan+/manifest.json @@ -0,0 +1,6 @@ +{ + "name": "SMTPlan+", + "description": "SMTPlan+ is a planner for hybrid systems. http://kcl-planning.github.io/SMTPlan/", + "install-size": "unknown", + "dependencies": [] +} diff --git a/planutils/packages/smtplan+/run b/planutils/packages/smtplan+/run new file mode 100755 index 0000000..eccc999 --- /dev/null +++ b/planutils/packages/smtplan+/run @@ -0,0 +1,3 @@ +#!/bin/bash + +singularity run $(dirname $0)/smtplan.sif $@ \ No newline at end of file diff --git a/planutils/packages/smtplan+/uninstall b/planutils/packages/smtplan+/uninstall new file mode 100755 index 0000000..e3b61a3 --- /dev/null +++ b/planutils/packages/smtplan+/uninstall @@ -0,0 +1,3 @@ +#!/bin/bash + +rm smtplan.sif From 80f9d0b62f8f9a8fcc3bfbb60f893c8b9d514493 Mon Sep 17 00:00:00 2001 From: Jason Dekarske Date: Tue, 10 Aug 2021 12:12:16 -0700 Subject: [PATCH 2/3] remove + from dir name --- planutils/packages/{smtplan+ => smtplan}/install | 0 planutils/packages/{smtplan+ => smtplan}/manifest.json | 0 planutils/packages/{smtplan+ => smtplan}/run | 0 planutils/packages/{smtplan+ => smtplan}/uninstall | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename planutils/packages/{smtplan+ => smtplan}/install (100%) rename planutils/packages/{smtplan+ => smtplan}/manifest.json (100%) rename planutils/packages/{smtplan+ => smtplan}/run (100%) rename planutils/packages/{smtplan+ => smtplan}/uninstall (100%) diff --git a/planutils/packages/smtplan+/install b/planutils/packages/smtplan/install similarity index 100% rename from planutils/packages/smtplan+/install rename to planutils/packages/smtplan/install diff --git a/planutils/packages/smtplan+/manifest.json b/planutils/packages/smtplan/manifest.json similarity index 100% rename from planutils/packages/smtplan+/manifest.json rename to planutils/packages/smtplan/manifest.json diff --git a/planutils/packages/smtplan+/run b/planutils/packages/smtplan/run similarity index 100% rename from planutils/packages/smtplan+/run rename to planutils/packages/smtplan/run diff --git a/planutils/packages/smtplan+/uninstall b/planutils/packages/smtplan/uninstall similarity index 100% rename from planutils/packages/smtplan+/uninstall rename to planutils/packages/smtplan/uninstall From cbe16f4105a03fbd750045a7ad14b586281bc6bf Mon Sep 17 00:00:00 2001 From: Jason Dekarske Date: Tue, 10 Aug 2021 12:23:21 -0700 Subject: [PATCH 3/3] add image size --- planutils/packages/smtplan/manifest.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/planutils/packages/smtplan/manifest.json b/planutils/packages/smtplan/manifest.json index 990b4c2..c1173bb 100644 --- a/planutils/packages/smtplan/manifest.json +++ b/planutils/packages/smtplan/manifest.json @@ -1,6 +1,6 @@ { "name": "SMTPlan+", "description": "SMTPlan+ is a planner for hybrid systems. http://kcl-planning.github.io/SMTPlan/", - "install-size": "unknown", + "install-size": "148M", "dependencies": [] }