DELTA 474585 0 441 SVN&  cBQeENDREP DELTA SVN x^}Sn@}fb}0NJmRpuF UʿwCJ#H93g^+ܢB(fC;#ǣ 똸޽NC׳ۛn>w{wom2bPCky5Z!3!?e shdJ}QsuE)G,X9/BgЦ__;O{|'qȚtYjz[~)d iڮJ|mfdhUjJJ7mSY^xlP5W-+NkryZfiPdz܋zt5no,C;2U?0@B\)bTNM<'f;v#I了FBIwěysz,a2:z7Hp (ffN?KB3fb"-yV_Ƅ$3g'gnIY셫EVh}\<ҟ#J5 rC $93iƇ]B ^%ހ<@ocBI # 9hp+fW?O/{^3$̊l,b<!v%yblKnZs,:PҐ.U*}t'4!qV0IQOU)/>^_DH/9d:|DyENDREP DELTA SVNEGEETIMESTAMP = 1532277676 SHA256 (klee-klee-v1.4.0-191-g79ac709_GH0.tar.gz) = 92d57d88967e5615d5c806e52a427180b3ccd95a5b018c0bfab3e895b8b13111 SIZE (klee-klee-v1.4.0-191-g79ac709_GH0.tar.gz) = 969253 ENDREP DELTA SVN]_]]--- CMakeLists.txt.orig 2018-07-12 22:25:49 UTC +++ CMakeLists.txt @@ -412,7 +412,7 @@ endif() ################################################################################ # Detect libcap ################################################################################ -check_include_file("sys/capability.h" HAVE_SYS_CAPABILITY_H) +#check_include_file("sys/capability.h" HAVE_SYS_CAPABILITY_H) if (HAVE_SYS_CAPABILITY_H) find_library(LIBCAP_LIBRARIES NAMES cap ENDREP DELTA SVN.0..--- cmake/find_stp.cmake.orig 2018-07-12 22:25:49 UTC +++ cmake/find_stp.cmake @@ -13,6 +13,8 @@ # is displayed in `ccmake` and `cmake-gui`. set(STP_DIR "" CACHE PATH "Path to directory containing STPConfig.cmake") find_package(STP CONFIG) +SET(STP_STATIC_LIBRARY ${FREEBSD_STP_STATIC_LIBRARY}) +MESSAGE("YURI STP_STATIC_LIBRARY=${STP_STATIC_LIBRARY}") # Set the default so that if the following is true: # * STP was found ENDREP DELTA SVN3533--- lib/Core/Executor.cpp.orig 2018-07-22 16:43:34 UTC +++ lib/Core/Executor.cpp @@ -3885,7 +3885,7 @@ void Executor::prepareForEarlyExit() { /// Returns the errno location in memory int *Executor::getErrnoLocation(const ExecutionState &state) const { -#ifndef __APPLE__ +#if !defined(__APPLE__) && !defined(__FreeBSD__) /* From /usr/include/errno.h: it [errno] is a per-thread variable. */ return __errno_location(); #else ENDREP DELTA SVNhx^}RK@ WjZH u2qk%{>. %E|ݿUpP/qȁ<( #ȌzcQ:Kcvsc$ᲱiFp9Ca/jN:Rw'>?5`hUƪp U@V8P[)eٸSаnU mҘ*UdѦH oU|~O2}gcҪ:hϊ7wHNEfűk ^`H4r)Վt6Lh^cb,*Pv3ՔwRv6C\ ]-+zY)hP*ŭhW8;K7a2aD?k~3]\n)**s1(v-R6CQ  *v