diff options
-rw-r--r-- | .SRCINFO | 7 | ||||
-rw-r--r-- | PKGBUILD | 18 |
2 files changed, 19 insertions, 6 deletions
@@ -1,7 +1,8 @@ pkgbase = mata pkgdesc = Open source automata library that offers interface for different kinds of automata (NFA, AFA, etc.) - pkgver = 1.4.1 + pkgver = 0.51.0 pkgrel = 1 + epoch = 1 url = https://github.com/VeriFIT/mata arch = x86_64 license = GPL3 @@ -9,7 +10,7 @@ pkgbase = mata depends = gcovr depends = lcov depends = xdg-utils - source = https://github.com/VeriFIT/mata/archive/1.4.1.tar.gz - sha256sums = 33f5a7f4d68403ab2e5c48b4050162c25702d0f89ef9c101f2573ff9af7ac09a + source = https://github.com/VeriFIT/mata/archive/0.51.0.tar.gz + sha256sums = 514d5695886ee02fb7ddf9e5e2a5293354fa0cbdc02fe7acf74d233f9e8a350b pkgname = mata @@ -2,7 +2,7 @@ # Helper variables for updaurpkg (https://aur.archlinux.org/packages/updaurpkg-git) -_upstreamver='1.4.1' +_upstreamver='0.51.0' _upstreamver_regex='^[0-9]+\.[0-9]+\.[0-9]+$' _source_type='github-tags' _repo='VeriFIT/mata' @@ -11,6 +11,7 @@ _repo='VeriFIT/mata' pkgname=mata pkgver="${_upstreamver}" pkgrel=1 +epoch=1 pkgdesc="Open source automata library that offers interface for different kinds of automata (NFA, AFA, etc.)" arch=('x86_64') url="https://github.com/${_repo}" @@ -25,21 +26,32 @@ makedepends=( 'cmake' ) source=("${url}/archive/${pkgver}.tar.gz") -sha256sums=('33f5a7f4d68403ab2e5c48b4050162c25702d0f89ef9c101f2573ff9af7ac09a') +sha256sums=('514d5695886ee02fb7ddf9e5e2a5293354fa0cbdc02fe7acf74d233f9e8a350b') prepare() { mkdir -p build # Build shared library sed -i 's/add_library(libmata STATIC/add_library(libmata SHARED/' "${pkgname}-${pkgver}/src/CMakeLists.txt" + sed -i 's/add_library(cudd STATIC/add_library(cudd SHARED/' "${pkgname}-${pkgver}/3rdparty/cudd/CMakeLists.txt" + + # Fix - one test is added to library instead of to tests + sed -i 's/nfa\/tests-nfa-profiling.cc//' "${pkgname}-${pkgver}/src/CMakeLists.txt" + sed -i 's/rra\/tests-rrt.cc/rra\/tests-rrt.cc nfa\/tests-nfa-profiling.cc/' "${pkgname}-${pkgver}/src/CMakeLists.txt" + + # Fix - plumbing inline functions are missing inline + sed -i 's/void intersection/inline void intersection/' "${pkgname}-${pkgver}/include/mata/nfa-plumbing.hh" + sed -i 's/void concatenate/inline void concatenate/' "${pkgname}-${pkgver}/include/mata/nfa-plumbing.hh" + # Fix libmata dependencies - sed -i 's/target_link_libraries(libmata simlib)/target_link_libraries(libmata re2 simlib)/' "${pkgname}-${pkgver}/src/CMakeLists.txt" + sed -i 's/target_link_libraries(libmata simlib cudd)/target_link_libraries(libmata re2 simlib cudd)/' "${pkgname}-${pkgver}/src/CMakeLists.txt" # Add install target for libraries echo "install (TARGETS libmata LIBRARY DESTINATION lib RUNTIME DESTINATION bin)" >> "${pkgname}-${pkgver}/src/CMakeLists.txt" # echo "install (TARGETS re2 LIBRARY DESTINATION lib RUNTIME DESTINATION bin)" >> "${pkgname}-${pkgver}/3rdparty/re2/CMakeLists.txt" # echo "install (TARGETS simlib LIBRARY DESTINATION lib RUNTIME DESTINATION bin)" >> "${pkgname}-${pkgver}/3rdparty/simlib/CMakeLists.txt" + echo "install (TARGETS cudd LIBRARY DESTINATION lib RUNTIME DESTINATION bin)" >> "${pkgname}-${pkgver}/3rdparty/cudd/CMakeLists.txt" echo "install (TARGETS mata-code LIBRARY DESTINATION lib RUNTIME DESTINATION bin)" >> "${pkgname}-${pkgver}/cli/CMakeLists.txt" } |