Skip to content
Browse files

Stuff for platform-specific builds

  • Loading branch information...
1 parent 3338fa8 commit 31717f91c800984d5d2d4fa67bc964503e138125 @calebegg committed Feb 1, 2013
View
12 platforms/linux/README.txt
@@ -0,0 +1,12 @@
+To run Proof Pad on Linux, you'll need an up-to-date copy of Java (6 or above).
+
+Run proofpad.jar using Java (try double clicking, right click > OpenJDK Java 6 Runtime, etc. Or just do:
+
+$ java -jar proofpad.jar
+
+from the command line).
+
+If you want to make a nice shortcut, you can create and install a .desktop file using the command "java -jar /path/to/proofpad.jar", and the icon "/path/to/proofpad_icon.png". These have to be absolute paths, so I couldn't make this file in advance without having an installer script. More about .desktop files:
+http://developer.gnome.org/integration-guide/stable/desktop-files.html.en
+
+Email me if you have any questions: <calebegg@gmail.com>.
View
58 platforms/osx/Proof Pad.app/Contents/Info.plist
@@ -0,0 +1,58 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+<plist version="1.0">
+<dict>
+ <key>CFBundleName</key>
+ <string>Proof Pad</string>
+ <key>CFBundleIdentifier</key>
+ <string>org.proofpad</string>
+ <key>CFBundleVersion</key>
+ <string>2</string>
+ <key>CFBundleShortVersionString</key>
+ <string>Release 2</string>
+ <key>CFBundleAllowMixedLocalizations</key>
+ <string>true</string>
+ <key>CFBundleExecutable</key>
+ <string>JavaApplicationStub</string>
+ <key>CFBundleDevelopmentRegion</key>
+ <string>English</string>
+ <key>CFBundlePackageType</key>
+ <string>APPL</string>
+ <key>CFBundleSignature</key>
+ <string>????</string>
+ <key>CFBundleInfoDictionaryVersion</key>
+ <string>6.0</string>
+ <key>CFBundleIconFile</key>
+ <string>icon</string>
+ <key>CFBundleDocumentTypes</key>
+ <array>
+ <dict>
+ <key>CFBundleTypeName</key>
+ <string>Lisp</string>
+ <key>LSHandlerRank</key>
+ <string>Default</string>
+ <key>CFBundleTypeExtensions</key>
+ <array>
+ <string>lisp</string>
+ <string>acl2</string>
+ </array>
+ <key>CFBundleTypeRole</key>
+ <string>Editor</string>
+ <key>CFBundleTypeMIMETypes</key>
+ <array>
+ <string>text/x-lisp</string>
+ <string>application/lisp</string>
+ </array>
+ </dict>
+ </array>
+ <key>Java</key>
+ <dict>
+ <key>MainClass</key>
+ <string>org.proofpad.Main</string>
+ <key>JVMVersion</key>
+ <string>1.6+</string>
+ <key>ClassPath</key>
+ <string>$JAVAROOT/proofpad.jar</string>
+ </dict>
+</dict>
+</plist>
View
BIN platforms/osx/Proof Pad.app/Contents/MacOS/JavaApplicationStub
Binary file not shown.
View
1 platforms/osx/Proof Pad.app/Contents/PkgInfo
@@ -0,0 +1 @@
+APPL????
View
BIN platforms/osx/Proof Pad.app/Contents/Resources/icon.icns
Binary file not shown.

0 comments on commit 31717f9

Please sign in to comment.
Something went wrong with that request. Please try again.