From 12335518ab39608d58370c85ff9f5384ad2aa5f7 Mon Sep 17 00:00:00 2001
From: MCApollo <34170230+MCApollo@users.noreply.github.com>
Date: Sat, 20 Apr 2019 20:49:46 -0500
Subject: Ported in the homebrew-marauder for a hacky update/import system. 
 TODO: Maybe add a license & fix up messy code.

---
 homebrew/xspin/.beer                 | 47 ++++++++++++++++++++++++++++++++++++
 homebrew/xspin/.make.sh-auto         |  3 +++
 homebrew/xspin/_metadata/description |  1 +
 homebrew/xspin/_metadata/homepage    |  1 +
 homebrew/xspin/_metadata/name        |  1 +
 homebrew/xspin/_metadata/version     |  1 +
 homebrew/xspin/download.sh           |  1 +
 homebrew/xspin/patches.sh            | 22 +++++++++++++++++
 8 files changed, 77 insertions(+)
 create mode 100644 homebrew/xspin/.beer
 create mode 100644 homebrew/xspin/.make.sh-auto
 create mode 100644 homebrew/xspin/_metadata/description
 create mode 100644 homebrew/xspin/_metadata/homepage
 create mode 100644 homebrew/xspin/_metadata/name
 create mode 100644 homebrew/xspin/_metadata/version
 create mode 100755 homebrew/xspin/download.sh
 create mode 100755 homebrew/xspin/patches.sh

(limited to 'homebrew/xspin')

diff --git a/homebrew/xspin/.beer b/homebrew/xspin/.beer
new file mode 100644
index 000000000..8fb35229f
--- /dev/null
+++ b/homebrew/xspin/.beer
@@ -0,0 +1,47 @@
+{
+    "name": "Xspin",
+    "description": "Software verification tool (developed at Bell Labs)",
+    "url": "https://spinroot.com/spin/Src/xspin525.tcl",
+    "mirror": null,
+    "homepage": "https://spinroot.com/spin/Src/index.html",
+    "depends": [
+        {
+            "depend": "spin",
+            "build-depend": false
+        }
+    ],
+    "resource": [],
+    "conflicts": [],
+    "patches": [
+        {
+            "url": null,
+            "data": [
+                "diff --git a/xspin525.tcl b/xspin525.tcl\n",
+                "old mode 100644\n",
+                "new mode 100755\n",
+                "index 73fc6bf..444b0ad\n",
+                "--- a/xspin525.tcl\n",
+                "+++ b/xspin525.tcl\n",
+                "@@ -1,8 +1,9 @@\n",
+                "-#!/bin/sh\n",
+                "+#!/usr/bin/wish -f\n",
+                " # the next line restarts using wish \\\n",
+                "-exec wish c:/cygwin/bin/xspin -- $*\n",
+                "+exec wish CELLAR/bin/xspin -- $*\n",
+                "+\n",
+                "+ cd\t;# enable to cd to home directory by default\n",
+                " \n",
+                "-# cd\t;# enable to cd to home directory by default\n",
+                " \n",
+                " # on PCs:\n",
+                " # adjust the first argument to wish above with the name and\n"
+            ]
+        }
+    ],
+    "install": [
+        "inreplace \"xspin525.tcl\", \"CELLAR\", prefix",
+        "bin.install \"xspin525.tcl\" => \"xspin\""
+    ],
+    "version": "525",
+    "file": "xspin.rb"
+}
\ No newline at end of file
diff --git a/homebrew/xspin/.make.sh-auto b/homebrew/xspin/.make.sh-auto
new file mode 100644
index 000000000..be91f0499
--- /dev/null
+++ b/homebrew/xspin/.make.sh-auto
@@ -0,0 +1,3 @@
+pkg:setup
+inreplace "xspin525.tcl", "CELLAR", prefix
+bin.install "xspin525.tcl" => "xspin"
diff --git a/homebrew/xspin/_metadata/description b/homebrew/xspin/_metadata/description
new file mode 100644
index 000000000..a00f1728c
--- /dev/null
+++ b/homebrew/xspin/_metadata/description
@@ -0,0 +1 @@
+Software verification tool (developed at Bell Labs)
diff --git a/homebrew/xspin/_metadata/homepage b/homebrew/xspin/_metadata/homepage
new file mode 100644
index 000000000..775e12b2a
--- /dev/null
+++ b/homebrew/xspin/_metadata/homepage
@@ -0,0 +1 @@
+https://spinroot.com/spin/Src/index.html
diff --git a/homebrew/xspin/_metadata/name b/homebrew/xspin/_metadata/name
new file mode 100644
index 000000000..7acf87a23
--- /dev/null
+++ b/homebrew/xspin/_metadata/name
@@ -0,0 +1 @@
+Xspin
diff --git a/homebrew/xspin/_metadata/version b/homebrew/xspin/_metadata/version
new file mode 100644
index 000000000..642ea6f49
--- /dev/null
+++ b/homebrew/xspin/_metadata/version
@@ -0,0 +1 @@
+525
diff --git a/homebrew/xspin/download.sh b/homebrew/xspin/download.sh
new file mode 100755
index 000000000..006506535
--- /dev/null
+++ b/homebrew/xspin/download.sh
@@ -0,0 +1 @@
+wget https://spinroot.com/spin/Src/xspin525.tcl
\ No newline at end of file
diff --git a/homebrew/xspin/patches.sh b/homebrew/xspin/patches.sh
new file mode 100755
index 000000000..a5a2cad99
--- /dev/null
+++ b/homebrew/xspin/patches.sh
@@ -0,0 +1,22 @@
+echo 'Creating brew-patch.diff'
+cat << EOF >> brew-patch.diff
+diff --git a/xspin525.tcl b/xspin525.tcl
+old mode 100644
+new mode 100755
+index 73fc6bf..444b0ad
+--- a/xspin525.tcl
++++ b/xspin525.tcl
+@@ -1,8 +1,9 @@
+-#!/bin/sh
++#!/usr/bin/wish -f
+ # the next line restarts using wish \
+-exec wish c:/cygwin/bin/xspin -- $*
++exec wish CELLAR/bin/xspin -- $*
++
++ cd	;# enable to cd to home directory by default
+ 
+-# cd	;# enable to cd to home directory by default
+ 
+ # on PCs:
+ # adjust the first argument to wish above with the name and
+EOF
-- 
cgit v1.2.3