Improvements to make SPARTA easier to use as a dependency

[Technius]

This PR includes some improvements to the CMake configuration that makes SPARTA easier to use as a dependency (or at least I've found these useful for a project I'm working on). Specifically:

• Generate a sparta-config.cmake file that is created in both the build folder and for the install target. This enables the library to be used with find_package.
• (Breaking change) Install the sparta_target.cmake to $LIBDIR/cmake/sparta instead of $PREFIX/cmake to support *nix systems as well as find_package. While this is a breaking change, it's unlikely that anyone used the installed file due to the bugs observed in Miscellaneous bugfixes #23.
• (Breaking change) Use sparta:: as the target namespace when exporting the sparta target. Projects that previously included the sparta_target.cmake will need to be updated to use sparta::sparta instead of sparta when specifying it as a dependency.
• Update the README with additional tips on how to use SPARTA in CMake projects.

This PR is stacked on top of #23, and I'll rebase after it is merged.

[Technius]

Here are some files I've used to test this PR:

CMakeLists.txt

cmake_minimum_required(VERSION 3.20)

project(Fakeproject)

find_package(Boost REQUIRED COMPONENTS thread graph)

if(EXISTS sparta_subproject)
  add_subdirectory(sparta_subproject)
else()
  find_package(sparta REQUIRED)
endif()
message(STATUS "Found sparta: ${sparta_DIR}")

add_executable(fakeproject main.cpp)
target_link_libraries(fakeproject PRIVATE sparta::sparta)

main.cpp

#include <iostream>
#include <sparta/AbstractDomain.h>

int main() { return 0; }

test.sh

#!/usr/bin/env bash
rm -rf build sparta_subproject

# Local git checkout of SPARTA
LOCAL_SPARTA_CHECKOUT=/path/to/your/local/SPARTA

# Enable one of the following:

# - use sparta installed using `make install` with prefix set to e.g. /tmp/sparta
#SPARTA_ARGS=(-Dsparta_DIR=/tmp/sparta/lib64/cmake/sparta)

# - use sparta from the build directory of a local checkout
SPARTA_ARGS=(-Dsparta_DIR=~/projects/SPARTA/build)

# - use sparta as a subproject
# git clone "$LOCAL_SPARTA_CHECKOUT" sparta_subproject

cmake -B build "${SPARTA_ARGS[@]}"
cmake --build build

[arthaud]

This is awesome, thanks. I will test this once you have rebased on top of master :)

[facebook-github-bot]

@arthaud has imported this pull request. If you are a Meta employee, you can view this diff on Phabricator.

[facebook-github-bot]

@arthaud merged this pull request in e2c1715.