]> git.pld-linux.org Git - packages/JPrologEditor.git/commitdiff
- a nice Prolog editor
authordjurban <djurban@pld-linux.org>
Fri, 25 Mar 2005 12:05:08 +0000 (12:05 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    JPrologEditor.spec -> 1.1

JPrologEditor.spec [new file with mode: 0644]

diff --git a/JPrologEditor.spec b/JPrologEditor.spec
new file mode 100644 (file)
index 0000000..b6272ab
--- /dev/null
@@ -0,0 +1,56 @@
+Summary:       J Prolog Editor is an editor (written in Java) for SWI-Prolog 
+Summary(pl):   J Prolog Editor to edytor (napisany w Javie) dla jêzyka SWI-Prolog
+Name:          JPrologEditor
+Version:       1.1
+Release:       1
+License:       Public Domain   
+Group:         Development/Tools
+Source0:       http://520094857424.bei.t-online.de/JPrologEditor/%{name}.jar
+# Source0-md5: b69363f07ffc3ea6f2ad702a709dc6b8
+URL:           http://520094857424.bei.t-online.de/JPrologEditor
+Requires:       jre >= 1.3.1
+BuildArch:     noarch
+BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+J Prolog Editor is an editor (written in Java) for SWI-Prolog (www.swi-prolog.org) providing syntax highlighting, an embedded Prolog interpreter and other features.
+
+%description -l pl
+J Prolog Editor to edytor (napisany w Javie) dla jêzyka SWI-Prolog. Obs³ugujê pod¶wietlanie sk³adni, wbudowany interpreter Prologu oraz wiele innych mo¿liwo¶ci.
+
+%prep
+%setup -q -c -T
+
+%build
+cat > %{name} <<EOF
+#!/bin/sh
+java -jar %{_javadir}/%{name}.jar
+EOF
+
+cat > %{name}.desktop <<EOF
+[Desktop Entry]
+Encoding=UTF-8
+Name=J Prolog Editor
+Comment=J Prolog Editor is an SWI-Prolog editor
+Exec=%{name}
+Categories=Java;Development;IDE;
+Terminal=false
+# vi: encoding=utf-8
+EOF
+
+%install
+rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT{%{_bindir},%{_javadir},%{_desktopdir}}
+
+install %{name} $RPM_BUILD_ROOT%{_bindir}
+install %{SOURCE0}  $RPM_BUILD_ROOT%{_javadir}
+install %{name}.desktop $RPM_BUILD_ROOT%{_desktopdir}
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%attr(755,root,root) %{_bindir}/*
+%{_javadir}/*.jar
+%{_desktopdir}/%{name}.desktop
This page took 0.083834 seconds and 4 git commands to generate.