packaging/device-manager-plugin-rpi3.spec

   1 Name:       device-manager-plugin-rpi3
   2 Summary:    Device manager plugin rpi3
   3 Version:    0.0.2
   4 Release:    0
   5 Group:      System/Hardware Adaptation
   6 License:    Apache-2.0
   7 Source0:    %{name}-%{version}.tar.gz
   8 Source1:    %{name}.manifest
   9 Requires(post): /sbin/ldconfig
  10 Requires(postun): /sbin/ldconfig
  11 BuildRequires:  cmake
  12 BuildRequires:  pkgconfig(dlog)
  13 BuildRequires:  pkgconfig(hwcommon)
  14 BuildRequires:  pkgconfig(glib-2.0)
  15 BuildRequires:  pkgconfig(libudev)
  16 BuildRequires:  pkgconfig(capi-system-peripheral-io)
  17
  18 %description
  19 Device manager plugin Raspberry Pi 3
  20
  21 %prep
  22 %setup -q
  23 cp %{SOURCE1} .
  24
  25 %build
  26 %cmake .
  27
  28 make %{?jobs:-j%jobs}
  29
  30 %install
  31 %make_install
  32
  33 %post
  34 /sbin/ldconfig
  35 rm -rf /etc/fstab # FIXME workaround
  36
  37 %postun
  38 /sbin/ldconfig
  39
  40 %files
  41 %{_libdir}/hw/*.so
  42 %manifest %{name}.manifest
  43 %license LICENSE