Restartable Sequences Library

Clone this repo:

Branches

  1. 0a955e0 Remove whiteline by Mathieu Desnoyers · 4 weeks ago master
  2. a95cabb Introduce rseq_scalar_type_to_expr to eliminate code duplication by Mathieu Desnoyers · 4 weeks ago
  3. 8dd73cf fix: compiler warning `-Wswitch-enum` by Gerrit Klein · 5 weeks ago
  4. 95dbaeb fix: compiler warning `-Wswitch-default` by Gerrit Klein · 5 weeks ago
  5. 5b40603 Re-introduce union for rseq_cs ptr by Mathieu Desnoyers · 5 weeks ago

Library for Restartable Sequences

by Mathieu Desnoyers

Building

Prerequisites

This source tree is based on the Autotools suite from GNU to simplify portability. Here are some things you should have on your system in order to compile the Git repository tree:

  • GNU Autotools (Automake >= 1.10, Autoconf >= 2.50, Autoheader >= 2.50; make sure your system-wide automake points to a recent version!)
  • GNU Libtool >= 2.2
  • Linux kernel headers from kernel >= 4.18 to build on x86, arm, ppc, and mips and from kernel >= 4.19 to build on s390.

Building steps

If you get the tree from the Git repository, you will need to run

./bootstrap

in its root. It calls all the GNU tools needed to prepare the tree configuration.

To build and install, do:

./configure
make
sudo make install
sudo ldconfig

Note: the configure script sets /usr/local as the default prefix for files it installs. However, this path is not part of most distributions' default library path, which will cause builds depending on librseq to fail unless -L/usr/local/lib is added to LDFLAGS. You may provide a custom prefix to configure by using the --prefix switch (e.g., --prefix=/usr).

Building against a local version of the kernel headers

cd /path/to/kernel/sources
make headers_install
cd /path/to/librseq
CPPFLAGS=-I/path/to/kernel/sources/usr/include ./configure
make
sudo make install
sudo ldconfig