summaryrefslogtreecommitdiff
path: root/homebrew/gnutime
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/gnutime')
-rw-r--r--homebrew/gnutime/.beer23
-rw-r--r--homebrew/gnutime/.make.sh-auto5
-rw-r--r--homebrew/gnutime/_metadata/description1
-rw-r--r--homebrew/gnutime/_metadata/homepage1
-rw-r--r--homebrew/gnutime/_metadata/name1
-rw-r--r--homebrew/gnutime/_metadata/version1
-rwxr-xr-xhomebrew/gnutime/download.sh1
7 files changed, 33 insertions, 0 deletions
diff --git a/homebrew/gnutime/.beer b/homebrew/gnutime/.beer
new file mode 100644
index 000000000..64ba106df
--- /dev/null
+++ b/homebrew/gnutime/.beer
@@ -0,0 +1,23 @@
+{
+ "name": "GnuTime",
+ "description": "GNU implementation of time utility",
+ "url": "https://ftp.gnu.org/gnu/time/time-1.9.tar.gz",
+ "mirror": "https://ftpmirror.gnu.org/time/time-1.9.tar.gz",
+ "homepage": "https://www.gnu.org/software/time/",
+ "depends": [],
+ "resource": [],
+ "conflicts": [],
+ "patches": [],
+ "install": [
+ "args = %W[",
+ "--prefix=#{prefix}",
+ "--info=#{info}",
+ "--program-prefix=g",
+ "]",
+ "system \"./configure\", *args",
+ "system \"make\", \"install\"",
+ "(libexec/\"gnubin\").install_symlink bin/\"gtime\" => \"time\""
+ ],
+ "version": "1.9",
+ "file": "gnu-time.rb"
+} \ No newline at end of file
diff --git a/homebrew/gnutime/.make.sh-auto b/homebrew/gnutime/.make.sh-auto
new file mode 100644
index 000000000..9f072df80
--- /dev/null
+++ b/homebrew/gnutime/.make.sh-auto
@@ -0,0 +1,5 @@
+pkg:setup
+args = %W[--prefix=#{prefix} --info=#{info} --program-prefix=g ]
+pkg:configure *args
+make DESTDIR=${PKG_DEST} install
+(libexec/"gnubin").install_symlink bin/"gtime" => "time"
diff --git a/homebrew/gnutime/_metadata/description b/homebrew/gnutime/_metadata/description
new file mode 100644
index 000000000..50c02c8f1
--- /dev/null
+++ b/homebrew/gnutime/_metadata/description
@@ -0,0 +1 @@
+GNU implementation of time utility
diff --git a/homebrew/gnutime/_metadata/homepage b/homebrew/gnutime/_metadata/homepage
new file mode 100644
index 000000000..4dfd5127f
--- /dev/null
+++ b/homebrew/gnutime/_metadata/homepage
@@ -0,0 +1 @@
+https://www.gnu.org/software/time/
diff --git a/homebrew/gnutime/_metadata/name b/homebrew/gnutime/_metadata/name
new file mode 100644
index 000000000..311744678
--- /dev/null
+++ b/homebrew/gnutime/_metadata/name
@@ -0,0 +1 @@
+GnuTime
diff --git a/homebrew/gnutime/_metadata/version b/homebrew/gnutime/_metadata/version
new file mode 100644
index 000000000..2e0e38c63
--- /dev/null
+++ b/homebrew/gnutime/_metadata/version
@@ -0,0 +1 @@
+1.9
diff --git a/homebrew/gnutime/download.sh b/homebrew/gnutime/download.sh
new file mode 100755
index 000000000..59f9b6cc3
--- /dev/null
+++ b/homebrew/gnutime/download.sh
@@ -0,0 +1 @@
+wget https://ftp.gnu.org/gnu/time/time-1.9.tar.gz || wget https://ftpmirror.gnu.org/time/time-1.9.tar.gz \ No newline at end of file