systemtap.spec

   1 #
   2 # Conditional build:
   3 %bcond_without  doc             # documentation build
   4 %bcond_with     publican        # publican guides build [as of 3.0 not rebuilt automatically, PDFs are included]
   5 %bcond_without  crash           # crash extension
   6 %bcond_without  dyninst         # dyninst support
   7 %bcond_without  java            # Java runtime support
   8 %bcond_without  python2         # Python 2.x runtime support
   9 %bcond_without  python3         # Python 3.x runtime support
  10
  11 %ifnarch %{ix86} %{x8664} alpha arm ia64 ppc64 s390 s390x
  12 %undefine       with_crash
  13 %endif
  14 %ifnarch %{ix86} %{x8664} x32 ppc ppc64 aarch64
  15 %undefine       with_dyninst
  16 %endif
  17 Summary:        Instrumentation System
  18 Summary(pl.UTF-8):      System oprzyrządowania
  19 Name:           systemtap
  20 Version:        3.1
  21 Release:        1
  22 License:        GPL v2+
  23 Group:          Base
  24 Source0:        http://sourceware.org/systemtap/ftp/releases/%{name}-%{version}.tar.gz
  25 # Source0-md5:  767b73d340b13a14b2a4f1e1965482d8
  26 Source1:        %{name}.tmpfiles
  27 Source2:        stap-server.tmpfiles
  28 Patch0:         %{name}-configure.patch
  29 Patch1:         %{name}-build.patch
  30 Patch2:         %{name}-rpm5-support.patch
  31 Patch3:         %{name}-no-werror.patch
  32 Patch4:         format-security.patch
  33 Patch5:         %{name}-dyninst.patch
  34 URL:            http://sourceware.org/systemtap/
  35 BuildRequires:  autoconf >= 2.63
  36 BuildRequires:  automake
  37 BuildRequires:  avahi-devel
  38 BuildRequires:  boost-devel
  39 %{?with_crash:BuildRequires:    crash-devel}
  40 BuildRequires:  docbook-dtd412-xml
  41 %{?with_dyninst:BuildRequires:  dyninst-devel >= 8.0}
  42 BuildRequires:  elfutils-devel >= 0.148
  43 BuildRequires:  gettext-devel >= 0.19.4
  44 BuildRequires:  gettext-tools >= 0.19.4
  45 BuildRequires:  glib2-devel
  46 BuildRequires:  json-c-devel >= 0.12
  47 %{?with_java:BuildRequires:     jdk}
  48 %if %{with dyninst} || %{with java}
  49 BuildRequires:  libselinux-devel
  50 %endif
  51 BuildRequires:  libstdc++-devel >= 6:4.5
  52 BuildRequires:  libvirt-devel >= 1.0.2
  53 BuildRequires:  libxml2-devel >= 2.0
  54 BuildRequires:  mysql-devel
  55 BuildRequires:  ncurses-devel
  56 BuildRequires:  nss-devel >= 3
  57 BuildRequires:  pkgconfig
  58 %if %{with python2}
  59 BuildRequires:  python-devel >= 1:2.6
  60 BuildRequires:  python-setuptools
  61 %endif
  62 %if %{with python3}
  63 BuildRequires:  python3-devel >= 1:3.2
  64 BuildRequires:  python3-setuptools
  65 %endif
  66 BuildRequires:  readline-devel
  67 BuildRequires:  rpm-devel
  68 %{?with_java:BuildRequires:     rpm-javaprov}
  69 BuildRequires:  rpm-pythonprov
  70 BuildRequires:  rpmbuild(macros) >= 1.219
  71 BuildRequires:  sqlite3-devel >= 3.7
  72 BuildRequires:  xmlto
  73 %if %{with doc}
  74 BuildRequires:  latex2html
  75 %{?with_publican:BuildRequires: publican}
  76 BuildRequires:  texlive-dvips
  77 BuildRequires:  texlive-fonts-bitstream
  78 BuildRequires:  texlive-fonts-type1-bitstream
  79 BuildRequires:  texlive-latex
  80 BuildRequires:  texlive-latex-psnfss
  81 BuildRequires:  texlive-xetex
  82 %endif
  83 # let base mean client+local development package
  84 Requires:       %{name}-client = %{version}-%{release}
  85 Requires:       %{name}-devel = %{version}-%{release}
  86 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  87
  88 %description
  89 SystemTap is an instrumentation system for systems running Linux 2.6.
  90 Developers can write instrumentation to collect data on the operation
  91 of the system. The base systemtap package provides the components
  92 needed to locally develop and execute systemtap script.
  93
  94 %description -l pl.UTF-8
  95 SystemTap to system oprzyrządowania dla systemów opartych na Linuksie
  96 2.6. Programiści mogą pisać narzędzia do zbierania danych dotyczących
  97 operacji w systemie. Główny pakiet dostarcza komponenty niezbędne do
  98 lokalnego tworzenia i wykonywania skryptów systemtap.
  99
 100 %package runtime
 101 Summary:        Programmable system-wide instrumentation system - runtime
 102 Summary(pl.UTF-8):      Programowalny systemowy system oprzyrządowania - środowisko uruchomieniowe
 103 Group:          Applications/System
 104 Requires:       json-c >= 0.12
 105
 106 %description runtime
 107 SystemTap runtime contains the components needed to execute a
 108 systemtap script that was already compiled into a module using a local
 109 or remote systemtap-devel installation.
 110
 111 %description runtime -l pl.UTF-8
 112 Środowisko uruchomieniowe SystemTap zawiera komponenty niezbędne do
 113 uruchomienia skryptu systemtap, który został już wkompilowany do
 114 modułu przy użyciu lokalnej lub zdalnej instalacji systemtap-devel.
 115
 116 %package runtime-java
 117 Summary:        SystemTap Java runtime support
 118 Summary(pl.UTF-8):      Obsługa Javy dla środowiska uruchomieniowego SystemTap
 119 Group:          Libraries
 120 Requires:       %{name}-runtime = %{version}-%{release}
 121 Requires:       byteman > 2.0
 122
 123 %description runtime-java
 124 This package includes support files needed to run systemtap scripts
 125 that probe Java processes running on the OpenJDK 1.6 and OpenJDK 1.7
 126 runtimes using Byteman.
 127
 128 %description runtime-java -l pl.UTF-8
 129 Ten pakiet zawiera pliki niezbędne do uruchamiania skryptów systemtap
 130 sondujących procesy Javy działające w środowiskach OpenJDK 1.6 i
 131 OpenJDK 1.7 przy użyciu Bytemana.
 132
 133 %package runtime-python2
 134 Summary:        SystemTap Python 2 Runtime Support
 135 Summary(pl.UTF-8):      Obsługa Pythona 2 dla środowiska uruchomieniowego SystemTap
 136 Group:          Development/Tools
 137 Requires:       %{name}-runtime = %{version}-%{release}
 138 Requires:       python-modules >= 1:2.6
 139
 140 %description runtime-python2
 141 This package includes support files needed to run systemtap scripts
 142 that probe Python 2 processes.
 143
 144 %description runtime-python2 -l pl.UTF-8
 145 Ten pakiet zawiera pliki niezbędne do uruchamiania skryptów systemtap
 146 sondujących procesy Pythona 2.
 147
 148 %package runtime-python3
 149 Summary:        SystemTap Python 3 Runtime Support
 150 Summary(pl.UTF-8):      Obsługa Pythona 3 dla środowiska uruchomieniowego SystemTap
 151 Group:          Development/Tools
 152 Requires:       %{name}-runtime = %{version}-%{release}
 153 Requires:       python3-modules >= 1:3.2
 154
 155 %description runtime-python3
 156 This package includes support files needed to run systemtap scripts
 157 that probe Python 3 processes.
 158
 159 %description runtime-python3 -l pl.UTF-8
 160 Ten pakiet zawiera pliki niezbędne do uruchamiania skryptów systemtap
 161 sondujących procesy Pythona 3.
 162
 163 %package client
 164 Summary:        Programmable system-wide instrumentation system - client
 165 Summary(pl.UTF-8):      Programowalny systemowy system oprzyrządowania - klient
 166 Group:          Applications/System
 167 Requires:       %{name}-runtime = %{version}-%{release}
 168 Requires:       coreutils
 169 Requires:       grep
 170 Requires:       libvirt >= 1.0.2
 171 Requires:       openssh-clients
 172 Requires:       sed
 173 Requires:       unzip
 174 Requires:       zip
 175
 176 %description client
 177 This package provides the components needed to develop systemtap
 178 scripts and compile them using a local systemtap-devel or a remote
 179 systemtap-server installation, then run them using a local or remote
 180 systemtap-runtime. It includes script samples and documentation, and a
 181 copy of the tapset library for reference.
 182
 183 %description client -l pl.UTF-8
 184 Ten pakiet dostarcza komponenty niezbędne do tworzenia skryptów
 185 systemtap i kompilowania ich przy użyciu lokalnej instalacji
 186 systemtap-devel lub zdalnej instalacji systemtap-server, a następnie
 187 uruchamiania ich przy użyciu lokalnej lub zdalnej instalacji
 188 systemtap-runtime. Zawiera przykłady skryptów oraz dokumentację, a
 189 także kopię biblioteki tapset.
 190
 191 %package devel
 192 Summary:        Programmable system-wide instrumentation system - development headers, tools
 193 Summary(pl.UTF-8):      Programowalny systemowy system oprzyrządowania - pliki nagłówkowe, narzędzia
 194 Group:          Development/Tools
 195 Requires:       %{name}-client = %{version}-%{release}
 196 Requires:       gcc
 197 Requires:       kernel-module-build
 198 Requires:       make
 199
 200 %description devel
 201 This package provides the components needed to compile a systemtap
 202 script from source form into executable (.ko) forms. It may be
 203 installed on a self-contained developer workstation (along with the
 204 systemtap-client and systemtap-runtime packages), or on a dedicated
 205 remote server (alongside the systemtap-server package). It includes a
 206 copy of the standard tapset library and the runtime library C files.
 207
 208 %description devel -l pl.UTF-8
 209 Ten pakiet dostarcza komponenty niezbędne do kompilowania skryptów
 210 systemtap z postaci źródłowej do wykonywalnej (.ko). Może być
 211 zainstalowany na samodzielnej stacji roboczej programisty (wraz z
 212 pakietami systemtap-client i systemtap-runtime) lub dedykowanym
 213 zdalnym serwerze (wraz z pakietem systemtap-server). Zawiera kopię
 214 standardowej biblioteki tapset oraz pliki biblioteki uruchomieniowej
 215 C.
 216
 217 %package initscript
 218 Summary:        SystemTap Initscripts
 219 Summary(pl.UTF-8):      Skrypty startowe SystemTap
 220 Group:          Base
 221 Requires(post,preun):   /sbin/chkconfig
 222 Requires:       %{name} = %{version}-%{release}
 223 Requires:       rc-scripts
 224
 225 %description initscript
 226 SysVinit scripts to launch selected systemtap scripts at system
 227 startup.
 228
 229 %description initscript -l pl.UTF-8
 230 Skrypty SysVinit do uruchamiania wybranych skryptów systemtap w
 231 trakcie startu systemu.
 232
 233 %package server
 234 Summary:        Instrumentation System Server
 235 Summary(pl.UTF-8):      Serwer systemu oprzyrządowania
 236 Group:          Applications/System
 237 Requires(post,preun):   /sbin/chkconfig
 238 Requires:       %{name}-devel = %{version}-%{release}
 239 Requires:       /bin/mktemp
 240 Requires:       unzip
 241 Requires:       zip
 242
 243 %description server
 244 This is the remote script compilation server component of systemtap.
 245 It announces itself to nearby clients with avahi (if available), and
 246 compiles systemtap scripts to kernel objects on their demand.
 247
 248 %description server -l pl.UTF-8
 249 Ten pakiet zawiera komponent serwera do zdalnej kompilacji skryptów
 250 systemtap. Rozgłasza się pobliskim klientom przy użyciu avahi (jeśli
 251 jest dostępny) i na żądanie kompiluje skrypty systemtap do obiektów
 252 jądra.
 253
 254 %package sdt-devel
 255 Summary:        Static probe support tools
 256 Summary(pl.UTF-8):      Narzędzia do obsługi sond statycznych
 257 License:        GPL v2+ and Public Domain
 258 Group:          Development/Libraries
 259
 260 %description sdt-devel
 261 This package includes the <sys/sdt.h> header file used for static
 262 instrumentation compiled into userspace programs and libraries, along
 263 with the optional dtrace-compatibility preprocessor to process related
 264 .d files into tracing-macro-laden .h headers.
 265
 266 %description sdt-devel -l pl.UTF-8
 267 Ten pakiet zawiera plik nagłówkowy <sys/sdt.h> służący do
 268 wkompilowywania statycznego oprzyrządowania do programów i bibliotek
 269 przestrzeni użytkownika, wraz z opcjonalnym preprocesorem zgodności z
 270 dtrace, który przetwarza pliki .d na pliki nagłówkowe .h z makrami
 271 śledzącymi.
 272
 273 %package doc
 274 Summary:        SystemTap guides and tutorials
 275 Summary(pl.UTF-8):      Przewodniki i dokumentacja wprowadzająca do SystemTap
 276 Group:          Documentation
 277
 278 %description doc
 279 SystemTap guides and tutorials.
 280
 281 %description doc -l pl.UTF-8
 282 Przewodniki i dokumentacja wprowadzająca do SystemTap.
 283
 284 %prep
 285 %setup -q
 286 %patch0 -p1
 287 %patch1 -p1
 288 %patch3 -p1
 289 %patch4 -p1
 290 %patch5 -p1
 291 %if "%{_rpmversion}" >= "5.0"
 292 %patch2 -p1
 293 %endif
 294
 295 %build
 296 %{__gettextize}
 297 %{__aclocal}
 298 %{__autoconf}
 299 %{__autoheader}
 300 %{__automake}
 301 %configure \
 302         --disable-silent-rules \
 303         %{?with_crash:--enable-crash} \
 304         --enable-docs%{!?with_doc:=no} \
 305         --enable-pie \
 306         --enable-server \
 307         --enable-sqlite \
 308         --with-dyninst%{!?with_dyninst:=no} \
 309         --with-java=%{?with_java:%{_jvmdir}/java}%{!?with_java:no}
 310 %{__make}
 311
 312 %install
 313 rm -rf $RPM_BUILD_ROOT
 314 install -d $RPM_BUILD_ROOT{/var/{cache,run}/%{name},%{systemdtmpfilesdir},%{systemdunitdir}} \
 315         $RPM_BUILD_ROOT{%{_sysconfdir}/stap-server/conf.d,/etc/{sysconfig,logrotate.d,rc.d/init.d}} \
 316         $RPM_BUILD_ROOT/var/log/stap-server
 317
 318 %{__make} install \
 319         DESTDIR=$RPM_BUILD_ROOT
 320
 321 cp -p %{SOURCE1} $RPM_BUILD_ROOT%{systemdtmpfilesdir}/systemtap.conf
 322 cp -p %{SOURCE2} $RPM_BUILD_ROOT%{systemdtmpfilesdir}/stap-server.conf
 323
 324 # not installed by make
 325 install -p stap-prep $RPM_BUILD_ROOT%{_bindir}/stap-prep
 326
 327 install -p initscript/systemtap $RPM_BUILD_ROOT/etc/rc.d/init.d
 328 cp -p initscript/config.systemtap $RPM_BUILD_ROOT%{_sysconfdir}/systemtap/config
 329
 330 install -p initscript/stap-server $RPM_BUILD_ROOT/etc/rc.d/init.d
 331 cp -p initscript/config.stap-server $RPM_BUILD_ROOT/etc/sysconfig/stap-server
 332 cp -p initscript/logrotate.stap-server $RPM_BUILD_ROOT/etc/logrotate.d/stap-server
 333 cp -p stap-server.service $RPM_BUILD_ROOT%{systemdunitdir}
 334
 335 install -d $RPM_BUILD_ROOT%{_sysconfdir}/systemtap/{conf.d,script.d}
 336 install -d $RPM_BUILD_ROOT/var/lib/stap-server/.systemtap
 337 install -d $RPM_BUILD_ROOT/var/log/stap-server
 338
 339 %{__mv} $RPM_BUILD_ROOT%{_docdir}/systemtap docs-installed
 340
 341 %if %{with python2}
 342 %py_postclean
 343 %endif
 344
 345 %find_lang %{name}
 346
 347 %clean
 348 rm -rf $RPM_BUILD_ROOT
 349
 350 %files
 351 %defattr(644,root,root,755)
 352
 353 %files runtime -f %{name}.lang
 354 %defattr(644,root,root,755)
 355 %doc AUTHORS NEWS README*
 356 %attr(755,root,root) %{_bindir}/stap-merge
 357 %attr(755,root,root) %{_bindir}/stap-report
 358 %{?with_dyninst:%attr(755,root,root) %{_bindir}/stapdyn}
 359 %attr(755,root,root) %{_bindir}/stapsh
 360 # XXX: %attr(4754,root,stapusr) staprun ?
 361 %attr(755,root,root) %{_bindir}/staprun
 362 %dir %{_libdir}/%{name}
 363 %attr(755,root,root) %{_libdir}/%{name}/stap-authorize-cert
 364 %attr(755,root,root) %{_libdir}/%{name}/stapio
 365 %{?with_crash:%attr(755,root,root) %{_libdir}/%{name}/staplog.so}
 366 %{_mandir}/man1/stap-merge.1*
 367 %{_mandir}/man1/stap-report.1*
 368 %{_mandir}/man1/stapref.1*
 369 %{_mandir}/man3/stapex.3stap*
 370 %{_mandir}/man3/stapfuncs.3stap*
 371 %{_mandir}/man3/stapprobes.3stap*
 372 %{_mandir}/man3/stapvars.3stap*
 373 %if %{with doc}
 374 %{_mandir}/man3/function::*.3stap*
 375 %{_mandir}/man3/macro::*.3stap*
 376 %{_mandir}/man3/probe::*.3stap*
 377 %{_mandir}/man3/tapset::*.3stap*
 378 %endif
 379 %{_mandir}/man7/error::*.7stap*
 380 %{_mandir}/man7/stappaths.7*
 381 %{_mandir}/man7/warning::debuginfo.7stap*
 382 %{_mandir}/man7/warning::symbols.7stap*
 383 %{?with_dyninst:%{_mandir}/man8/stapdyn.8*}
 384 %{_mandir}/man8/staprun.8*
 385 %{_mandir}/man8/stapsh.8*
 386 %{_mandir}/man8/systemtap.8*
 387 %lang(cs) %{_mandir}/cs/man1/stap-merge.1*
 388 %lang(cs) %{_mandir}/cs/man1/stap-report.1*
 389 %lang(cs) %{_mandir}/cs/man1/stapref.1*
 390 %lang(cs) %{_mandir}/cs/man3/stapex.3stap*
 391 %lang(cs) %{_mandir}/cs/man3/stapfuncs.3stap*
 392 %lang(cs) %{_mandir}/cs/man3/stapprobes.3stap*
 393 %lang(cs) %{_mandir}/cs/man3/stapvars.3stap*
 394 %lang(cs) %{_mandir}/cs/man7/error::*.7stap*
 395 %lang(cs) %{_mandir}/cs/man7/stappaths.7*
 396 %lang(cs) %{_mandir}/cs/man7/warning::debuginfo.7stap*
 397 %lang(cs) %{_mandir}/cs/man7/warning::symbols.7stap*
 398 %lang(cs) %{_mandir}/cs/man8/stapsh.8*
 399 %lang(cs) %{_mandir}/cs/man8/systemtap.8*
 400
 401 %if %{with java}
 402 %files runtime-java
 403 %defattr(644,root,root,755)
 404 %attr(755,root,root) %{_libdir}/%{name}/stapbm
 405 %attr(755,root,root) %{_libdir}/%{name}/libHelperSDT_*.so
 406 %{_libdir}/%{name}/HelperSDT.jar
 407 %endif
 408
 409 %if %{with python2}
 410 %files runtime-python2
 411 %defattr(644,root,root,755)
 412 %dir %{py_sitedir}/HelperSDT
 413 %attr(755,root,root) %{py_sitedir}/HelperSDT/_HelperSDT.so
 414 %{py_sitedir}/HelperSDT/*.py[co]
 415 %{py_sitedir}/HelperSDT-0.1.0-py*.egg-info
 416 %endif
 417
 418 %if %{with python3}
 419 %files runtime-python3
 420 %defattr(644,root,root,755)
 421 %dir %{py3_sitedir}/HelperSDT
 422 %attr(755,root,root) %{py3_sitedir}/HelperSDT/_HelperSDT.cpython-*.so
 423 %{py3_sitedir}/HelperSDT/*.py
 424 %{py3_sitedir}/HelperSDT/__pycache__
 425 %{py3_sitedir}/HelperSDT-0.1.0-py*.egg-info
 426 %endif
 427
 428 %files client
 429 %defattr(644,root,root,755)
 430 %attr(755,root,root) %{_bindir}/stap
 431 %attr(755,root,root) %{_bindir}/stap-prep
 432 %attr(755,root,root) %{_bindir}/stapvirt
 433 %dir %{_datadir}/%{name}
 434 %{_datadir}/%{name}/examples
 435 %{_datadir}/%{name}/tapset
 436 %{_mandir}/man1/stap.1*
 437 %{_mandir}/man1/stap-prep.1*
 438 %{_mandir}/man1/stapvirt.1*
 439 %lang(cs) %{_mandir}/cs/man1/stap.1*
 440 %lang(cs) %{_mandir}/cs/man1/stap-prep.1*
 441 %lang(cs) %{_mandir}/cs/man1/stapvirt.1*
 442
 443 %files devel
 444 %defattr(644,root,root,755)
 445 %{_datadir}/%{name}/runtime
 446 %if %{with python2} || %{with python3}
 447 %dir %{_libexecdir}/systemtap
 448 %dir %{_libexecdir}/systemtap/python
 449 %attr(755,root,root) %{_libexecdir}/systemtap/python/stap-resolve-module-function.py
 450 %endif
 451
 452 %files initscript
 453 %defattr(644,root,root,755)
 454 %attr(754,root,root) /etc/rc.d/init.d/systemtap
 455 %dir %{_sysconfdir}/systemtap
 456 %dir %{_sysconfdir}/systemtap/conf.d
 457 %dir %{_sysconfdir}/systemtap/script.d
 458 %config(noreplace) %verify(not md5 mtime size) %{_sysconfdir}/systemtap/config
 459 %{systemdtmpfilesdir}/systemtap.conf
 460 %dir /var/cache/%{name}
 461 %dir /var/run/%{name}
 462
 463 %files server
 464 %defattr(644,root,root,755)
 465 %attr(755,root,root) %{_bindir}/stap-server
 466 %attr(755,root,root) %{_libdir}/%{name}/stap-env
 467 %attr(755,root,root) %{_libdir}/%{name}/stap-gen-cert
 468 %attr(755,root,root) %{_libdir}/%{name}/stap-serverd
 469 %attr(755,root,root) %{_libdir}/%{name}/stap-sign-module
 470 %attr(755,root,root) %{_libdir}/%{name}/stap-start-server
 471 %attr(755,root,root) %{_libdir}/%{name}/stap-stop-server
 472 %dir %{_sysconfdir}/stap-server
 473 %dir %{_sysconfdir}/stap-server/conf.d
 474 %attr(754,root,root) /etc/rc.d/init.d/stap-server
 475 %config(noreplace) %verify(not md5 mtime size) /etc/sysconfig/stap-server
 476 %config(noreplace) %verify(not md5 mtime size) /etc/logrotate.d/stap-server
 477 %{systemdunitdir}/stap-server.service
 478 %{systemdtmpfilesdir}/stap-server.conf
 479 # TODO: create user/group
 480 #%attr(750,stap-server,stap-server) %dir /var/lib/stap-server
 481 #%attr(700,stap-server,stap-server) %dir /var/lib/stap-server/.systemtap
 482 #%attr(755,stap-server,stap-server) %dir /var/log/stap-server
 483 #%attr(755,stap-server,stap-server) %dir /var/run/stap-server
 484 %{_mandir}/man8/stap-server.8*
 485 %lang(cs) %{_mandir}/cs/man8/stap-server.8*
 486
 487 %files sdt-devel
 488 %defattr(644,root,root,755)
 489 %attr(755,root,root) %{_bindir}/dtrace
 490 %{_includedir}/sys/sdt.h
 491 %{_includedir}/sys/sdt-config.h
 492 %{_mandir}/man1/dtrace.1*
 493 %lang(cs) %{_mandir}/cs/man1/dtrace.1*
 494
 495 %if %{with doc}
 496 %files doc
 497 %defattr(644,root,root,755)
 498 %doc doc/{langref,tutorial}.pdf doc/beginners/SystemTap_Beginners_Guide.pdf docs-installed/tapsets.pdf
 499 %endif