1 Summary: CoDemux - HTTP port demultiplexer
6 Group: System Environment/Base
7 URL: http://codeen.cs.princeton.edu/
8 Source0: %{name}-%{version}.tar.gz
9 BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root
22 rm -rf $RPM_BUILD_ROOT
24 make INSTALL_ROOT=$RPM_BUILD_ROOT install-all
26 # Build and install in %post so that it gets put in the right site-packages directory
27 #rm -rf $RPM_BUILD_ROOT/usr/lib/python*
28 #install -D -m 755 python/Proper.py $RPM_BUILD_ROOT/%{_datadir}/%{name}/Proper.py
31 rm -rf $RPM_BUILD_ROOT
34 %defattr(-,root,root,-)
35 %attr(0755,root,root) %{_initrddir}/codemux
36 %config /etc/codemux/codemux.conf
37 %attr(0755,root,root) /usr/local/planetlab/sbin/codemux
40 chkconfig codemux reset
42 if [ -z "$PL_BOOTCD" ]; then
44 /etc/init.d/codemux restart
50 chkconfig --del codemux
52 # stop daemon if its currently running
53 if [ "`/etc/init.d/codemux status`" = "running" ]; then
54 /etc/init.d/codemux stop
61 * Sun Apr 22 2007 KYOUNGSOO PARK <kyoungso@park.cs.princeton.edu> -