summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorafontenot2016-12-20 11:02:42 -0800
committerafontenot2016-12-20 11:02:42 -0800
commitd34106b1545cfef83f33694cbf0f50f4174bad8e (patch)
tree904395ade2d8d0545e80afcea9b169867c31da0f
downloadaur-d34106b1545cfef83f33694cbf0f50f4174bad8e.tar.gz
initial commit
-rw-r--r--.SRCINFO24
-rw-r--r--LICENSE5
-rw-r--r--PKGBUILD40
-rw-r--r--logic2010.desktop8
-rw-r--r--logic2010.sh12
5 files changed, 89 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..d2e42e9de21e
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,24 @@
+pkgbase = logic2010
+ pkgdesc = Educational symbolic logic software provided for free by UCLA
+ pkgver = 20160506
+ pkgrel = 1
+ url = https://logiclx.humnet.ucla.edu
+ arch = any
+ license = custom
+ makedepends = unzip
+ depends = bash
+ depends = java-environment
+ noextract = Logic2010_mac_20160506.zip
+ source = https://logiclx.humnet.ucla.edu/remote/Logic2010_mac_20160506.zip
+ source = https://logiclx.humnet.ucla.edu/images/Logic2010_64.png
+ source = LICENSE
+ source = logic2010.sh
+ source = logic2010.desktop
+ sha256sums = 4f1271149abcd68e91d8499e570b32d1762cf9cb38b48af6f0d40792b2def069
+ sha256sums = cf207dd45240336b77ed92192658b0e66e8873ce5a2e43a4faab6664da4305fb
+ sha256sums = a8e232f0e92a6443765a1649a7e1400efc06f7d81fe1420a85ba781a97dbbdc7
+ sha256sums = f864fc089c23becdf0f1982f07d7f8644263cff9b7dd9b901c8501bca6e1a290
+ sha256sums = 622c3912d99b188843fdc6f303f8dd6a7475f7c7b291ae4ab6f26b4fd4a76993
+
+pkgname = logic2010
+
diff --git a/LICENSE b/LICENSE
new file mode 100644
index 000000000000..471fefe8cc52
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,5 @@
+Logic 2010 Software
+
+License Agreement
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..d0aa03e8b303
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,40 @@
+# Maintainer afontenot <adam.m.fontenot@gmail.com>
+
+pkgname="logic2010"
+pkgver="20160506"
+pkgrel="1"
+pkgdesc="Educational symbolic logic software provided for free by UCLA"
+arch=('any')
+url="https://logiclx.humnet.ucla.edu"
+license=('custom')
+depends=('bash' 'java-environment')
+makedepends=('unzip')
+source=("$url/remote/Logic2010_mac_$pkgver.zip"
+ "$url/images/Logic2010_64.png" #icon
+ "LICENSE"
+ "logic2010.sh"
+ "logic2010.desktop")
+noextract=("Logic2010_mac_$pkgver.zip")
+sha256sums=('4f1271149abcd68e91d8499e570b32d1762cf9cb38b48af6f0d40792b2def069'
+ 'cf207dd45240336b77ed92192658b0e66e8873ce5a2e43a4faab6664da4305fb'
+ 'a8e232f0e92a6443765a1649a7e1400efc06f7d81fe1420a85ba781a97dbbdc7'
+ 'f864fc089c23becdf0f1982f07d7f8644263cff9b7dd9b901c8501bca6e1a290'
+ '622c3912d99b188843fdc6f303f8dd6a7475f7c7b291ae4ab6f26b4fd4a76993')
+
+prepare() {
+ unzip "Logic2010_mac_$pkgver.zip"
+}
+
+package() {
+ cd "$srcdir"
+
+ install -Dm 644 "Contents/Java/logic.jar" "$pkgdir/opt/$pkgname/logic.jar"
+ cp -r --no-preserve=all Contents/Resources/* "$pkgdir/opt/$pkgname/"
+
+ install -Dm 644 "LICENSE" "$pkgdir/usr/share/licenses/$pkgname/LICENSE"
+
+ install -Dm 755 "$pkgname.sh" "$pkgdir/usr/bin/$pkgname"
+
+ install -Dm 644 "$pkgname.desktop" "$pkgdir/usr/share/applications/$pkgname.desktop"
+ install -Dm 644 "Logic2010_64.png" "$pkgdir/usr/share/pixmaps/$pkgname.png"
+}
diff --git a/logic2010.desktop b/logic2010.desktop
new file mode 100644
index 000000000000..3d194433d291
--- /dev/null
+++ b/logic2010.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Type=Application
+Name=Logic 2010
+Comment=A free logic homework application and proof system
+Exec=logic2010
+Icon=logic2010
+Terminal=false
+Categories=Education;
diff --git a/logic2010.sh b/logic2010.sh
new file mode 100644
index 000000000000..56e77655ad4d
--- /dev/null
+++ b/logic2010.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+
+if [ ! -d "$HOME/.config/logic2010" ]; then
+ cp -r /opt/logic2010 $HOME/.config
+ mkdir -p $HOME/.config/logic2010/Contents/Resources
+ cp -al $HOME/.config/logic2010/* $HOME/.config/logic2010/Contents/Resources
+ mkdir $HOME/.config/logic2010/Contents/Java
+ ln $HOME/.config/logic2010/logic.jar $HOME/.config/logic2010/Contents/Java/
+fi
+
+cd $HOME/.config/logic2010
+java -Droot.dir="." -Dlink.dir="." -Dprog.dir="." -Dconfig.dir="." -jar logic.jar