# Source3-md5: 9d40c3fbf1394bb1f03648d7046f8b9c
Source4: %{name}-fcgi.init
Source5: %{name}-fcgi.sysconfig
+Source6: php.ini
Source100: get-source.sh
Patch0: ccache.patch
Patch1: no-debug.patch
rm -rf $RPM_BUILD_ROOT%{_docdir}
if [ ! -f installed.stamp ]; then
-install -d $RPM_BUILD_ROOT%{_sysconfdir}/%{name}
# begin install block
+install -d $RPM_BUILD_ROOT%{_sysconfdir}/%{name}
+cp -p %{SOURCE6} $RPM_BUILD_ROOT%{_sysconfdir}/%{name}
+
ln -s hhvm $RPM_BUILD_ROOT%{_bindir}/php
ln -s hhvm $RPM_BUILD_ROOT%{_bindir}/hphp
%defattr(644,root,root,755)
%doc README.md hphp/NEWS
%dir %{_sysconfdir}/%{name}
+%config(noreplace) %verify(not md5 mtime size) %{_sysconfdir}/%{name}/php.ini
%attr(755,root,root) %{_bindir}/hhvm
%attr(755,root,root) %{_bindir}/hphp
--- /dev/null
+[PHP]
+;;;;;;;;;;;;;;;;;;;;;;;;;
+; Paths and Directories ;
+;;;;;;;;;;;;;;;;;;;;;;;;;
+
+; PHP's default setting for include_path is ".;/path/to/php/pear"
+; http://php.net/include-path
+;include_path = .:/usr/share/pear:/usr/share/php
+
+[Date]
+; Defines the default timezone used by the date functions
+; http://php.net/date.timezone
+;date.timezone = Europe/Tallinn