SPECS: jif.spec (NEW) - initial revision

[baggins]

Author: baggins                      Date: Wed Sep 13 14:21:21 2006 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- initial revision

---- Files affected:
SPECS:
   jif.spec (NONE -> 1.1)  (NEW)

---- Diffs:

================================================================
Index: SPECS/jif.spec
diff -u /dev/null SPECS/jif.spec:1.1
--- /dev/null	Wed Sep 13 16:21:21 2006
+++ SPECS/jif.spec	Wed Sep 13 16:21:15 2006
@@ -0,0 +1,85 @@
+# $Revision$, $Date$
+Summary:	Jif: Java + information flow
+Name:		jif
+Version:	3.0.0
+Release:	0.1
+License:	Apache v1.1
+Group:		Development/Languages/Java
+Source0:	http://www.cs.cornell.edu/jif/releases/%{name}-%{version}.zip
+# Source0-md5:	b32ba29f6d4a4a5e6f80b8de45cad31b
+Patch0:		%{name}-classpath.patch
+URL:		http://www.cs.cornell.edu/jif/
+BuildRequires:	ant >= 1.6.5-4
+BuildRequires:	gcc-c++
+BuildRequires:	jdk >= 1.3
+BuildRequires:	rpmbuild(macros) >= 1.300
+Requires:	jre >= 1.3
+BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%description
+Jif is a security-typed programming language that extends Java
+with support for static information flow control.
+
+Static information flow control can protect the confidentiality
+and integrity of information manipulated by computing systems.
+The compiler tracks the correspondence between information
+the policies that restrict its use, enforcing security properties
+end-to-end within the system. After checking information flow
+within Jif programs, the Jif compiler translates them to Java
+programs and uses an ordinary Java compiler to produce secure
+executable programs.
+
+%prep
+%setup -q
+
+%build
+required_jars='ant'
+CLASSPATH="%{_jvmlibdir}/java/lib/tools.jar"
+export CLASSPATH="$CLASSPATH:`/usr/bin/build-classpath $required_jars`"
+export JAVA_HOME=%{java_home}
+export JAVAC=%{javac}
+export JAVA=%{java}
+
+%{ant} 
+%{ant} javadoc
+
+# Java software sucks
+patch -p1 <%{PATCH0}
+
+%install
+rm -rf $RPM_BUILD_ROOT
+install -d $RPM_BUILD_ROOT{%{_bindir},{%{_javadir},%{_libdir}}/%{name}}
+
+sed -e "s|TOP=.*|TOP='%{_javadir}'|" \
+    -e "s|RT_LIB_PATH='.*:'|RT_LIB_PATH='%{_libdir}/%{name}:'|" bin/jif \
+	> $RPM_BUILD_ROOT%{_bindir}/jif
+sed -e "s|TOP=.*|TOP='%{_javadir}'|" \
+    -e "s|RT_LIB_PATH='.*:'|RT_LIB_PATH='%{_libdir}/%{name}:'|" bin/jifc \
+	> $RPM_BUILD_ROOT%{_bindir}/jifc
+sed -e "s|TOP=.*|TOP='%{_javadir}'|" \
+    -e "s|RT_LIB_PATH='.*:'|RT_LIB_PATH='%{_libdir}/%{name}:'|" bin/splitc \
+	> $RPM_BUILD_ROOT%{_bindir}/splitc
+
+install lib/{JFlex,java_cup,jif,jiflib,jifrt,jifsig,polyglot}.jar $RPM_BUILD_ROOT%{_javadir}/%{name}/
+
+install lib/libjifrt.so $RPM_BUILD_ROOT%{_libdir}/%{name}/
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%doc CHANGES README
+%attr(755,root,root) %{_bindir}/*
+%attr(755,root,root) %{_libdir}/%{name}/*.so
+%{_javadir}/%{name}/*
+
+%define date	%(echo `LC_ALL="C" date +"%a %b %d %Y"`)
+%changelog
+* %{date} PLD Team <feedback at pld-linux.org>
+All persons listed below can be reached at <cvs_login>@pld-linux.org
+
+$Log$
+Revision 1.1  2006/09/13 14:21:15  baggins
+- initial revision
+
================================================================