Giter VIP home page Giter VIP logo

homebrew-souffle's Introduction

homebrew-souffle

Homebrew tap of Souffle-lang

Install Souffle with

brew install souffle-lang/souffle/souffle

or for the latest developments

brew install --HEAD souffle-lang/souffle/souffle

homebrew-souffle's People

Contributors

b-scholz avatar kpadmasola avatar mmcgr avatar rahlk avatar trganda avatar

Watchers

avatar avatar

Forkers

0xdomrom b-scholz mmcgr msakai skywardpixel rahlk fyrsta7 legendtang gbogard trganda boringbitsio placidex

homebrew-souffle's Issues

brew install fails on Intel MacOS 13.0

build succeeds but install fails

$ brew install -d -v souffle-lang/souffle/souffle
...
==> Downloading https://github.com/souffle-lang/souffle/archive/refs/tags/2.1.tar.gz
...
==> Verifying checksum for 'e9c9cc658501a6f12add9286c398f3ac170cbe90f77a2aec129ff8197766ac45--souffle-2.1.tar.gz'
==> Installing souffle from souffle-lang/souffle
...
==> cmake -B build -S . -DCMAKE_INSTALL_PREFIX=/usr/local/Cellar/souffle/2.1 -DSOUFFLE_GIT=OFF -DSOUFFLE_BASH_COMPLETION=OFF -DCMAKE_C_COMPILER=gcc-11 -DCMAKE_CXX_COMPILER=g++-11
-- Found Git: /usr/local/bin/git (found version "2.31.1")
fatal: not a git repository (or any of the parent directories): .git
CMake Warning at CMakeLists.txt:40 (message):
  Unable to find git repository: version number will be incomplete
...
CMake Warning at CMakeLists.txt:311 (find_package):
  By not providing "Findbash-completion.cmake" in CMAKE_MODULE_PATH this
  project has asked CMake to find a package configuration file provided by
  "bash-completion", but CMake did not find one.

  Could not find a package configuration file provided by "bash-completion"
  with any of the following names:

    bash-completionConfig.cmake
    bash-completion-config.cmake

  Add the installation prefix of "bash-completion" to CMAKE_PREFIX_PATH or
  set "bash-completion_DIR" to a directory containing one of the above files.
  If "bash-completion" provides a separate development package or SDK, be
  sure it has been installed.


-- Using fallback bash completion dir /etc/bash_completion.d
-- Configuring done
-- Generating done
CMake Warning:
  Manually-specified variables were not used by the project:

    CMAKE_C_COMPILER
    SOUFFLE_BASH_COMPLETION
    SOUFFLE_GIT
...
==> cmake --build build --target install -j17
...
CMake Error at cmake_install.cmake:64 (file):
  file cannot create directory: /etc/bash_completion.d.  Maybe need
  administrative privileges.


make: *** [install] Error 1
/usr/local/Homebrew/Library/Homebrew/shims/shared/git --version
/usr/local/Homebrew/Library/Homebrew/shims/shared/curl --version
/usr/local/Homebrew/Library/Homebrew/ignorable.rb:29:in `block in raise'
BuildError: Failed executing: cmake --build build --target install -j17
...
==> Temporary files retained at:
/private/tmp/souffle-20221105-41213-qr0txa

==> Formula
Tap: souffle-lang/souffle
Path: /usr/local/Homebrew/Library/Taps/souffle-lang/homebrew-souffle/Formula/souffle.rb
==> Configuration
HOMEBREW_VERSION: 3.6.7
ORIGIN: https://github.com/Homebrew/brew
HEAD: 6a7eac25e167a1eb2d49e13c8cc530a3188af995
Last commit: 12 days ago
Core tap ORIGIN: https://github.com/Homebrew/homebrew-core
Core tap HEAD: 5e297ccfa3a821314b15f61b5ace37b8d50bcf75
Core tap last commit: 6 days ago
Core tap branch: master
HOMEBREW_PREFIX: /usr/local
HOMEBREW_CASK_OPTS: []
HOMEBREW_GITHUB_API_TOKEN: set
HOMEBREW_MAKE_JOBS: 16
HOMEBREW_NO_AUTO_UPDATE: set
Homebrew Ruby: 2.6.10 => /System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/bin/ruby
CPU: 16-core 64-bit kabylake
Clang: 14.0.0 build 1400
Git: 2.31.1 => /usr/local/bin/git
/usr/local/Homebrew/Library/Homebrew/shims/shared/curl --version
Curl: 7.84.0 => /usr/bin/curl
macOS: 13.0-x86_64
CLT: 14.1.0.0.1.1666437224
Xcode: N/A
==> ENV
HOMEBREW_CC: clang
HOMEBREW_CXX: clang++
MAKEFLAGS: -j16
CMAKE_PREFIX_PATH: /usr/local/opt/bison:/usr/local/opt/libffi:/usr/local
CMAKE_INCLUDE_PATH: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Headers
CMAKE_LIBRARY_PATH: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries
PKG_CONFIG_PATH: /usr/local/opt/libffi/lib/pkgconfig:/usr/local/opt/gmp/lib/pkgconfig:/usr/local/opt/isl/lib/pkgconfig:/usr/local/opt/mpfr/lib/pkgconfig:/usr/local/opt/lz4/lib/pkgconfig:/usr/local/opt/xz/lib/pkgconfig:/usr/local/opt/zstd/lib/pkgconfig
PKG_CONFIG_LIBDIR: /usr/lib/pkgconfig:/usr/local/Homebrew/Library/Homebrew/os/mac/pkgconfig/13
HOMEBREW_GIT: git
HOMEBREW_SDKROOT: /Library/Developer/CommandLineTools/SDKs/MacOSX13.sdk
ACLOCAL_PATH: /usr/local/opt/bison/share/aclocal:/usr/local/share/aclocal
PATH: /usr/local/Homebrew/Library/Homebrew/shims/mac/super:/usr/local/opt/bison/bin:/usr/local/opt/cmake/bin:/usr/local/opt/mcpp/bin:/usr/local/opt/pkg-config/bin:/usr/local/opt/lz4/bin:/usr/local/opt/xz/bin:/usr/local/opt/zstd/bin:/usr/local/opt/gcc/bin:/usr/bin:/bin:/usr/sbin:/sbin

Error: souffle-lang/souffle/souffle 2.1 did not build
...

Build of Souffle 2.3 fails on macOS 12.6

Here is how I did:

  1. followed the instructions from the souffle site
  2. I got an error saying "Warning: Refusing to link macOS provided/shadowed software: bison". So, I followed homebrew's recommendations.
  3. Clone the souffle repo, and install.
  4. Use cmake with the flags as: cmake -DCMAKE_C_COMPILER=/usr/local/Cellar/gcc/12.2.0/bin/gcc-12 -DCMAKE_CXX_COMPILER=/usr/local/Cellar/gcc/12.2.0/bin/g++-12 -S . -B build
  5. cmake --build build

However, I still fail building Soffle.
Screen Shot 2022-10-05 at 12 26 57 PM

brew install osx / arm (but using `arch -x86_64`) error 

...
==> Pouring mcpp--2.7.2.big_sur.bottle.1.tar.gz
🍺  /usr/local/Cellar/mcpp/2.7.2: 19 files, 1.1MB
==> Installing souffle-lang/souffle/souffle --HEAD
==> git fetch --tags
==> cmake -B build -S .
==> cmake --build build --target install
Last 15 lines from /Users/kmicinski/Library/Logs/Homebrew/souffle/03.cmake:
    container.insert(container.end(), std::begin(range), std::end(range));
              ^
/tmp/souffle-20210823-23822-1q1d0at/src/ast/Aggregator.cpp:67:5: note: in instantiation of function template specialization 'souffle::append<std::__1::vector<const souffle::ast::Node *>, souffle::range<souffle::TransformIterator<std::__1::__wrap_iter<const std::__1::unique_ptr<souffle::ast::Literal> *>, const (lambda at /tmp/souffle-20210823-23822-1q1d0at/src/include/souffle/utility/Iteration.h:372:38)>>>' requested here
    append(res, makePtrRange(body));
    ^
/tmp/souffle-20210823-23822-1q1d0at/src/include/souffle/utility/Iteration.h:164:7: note: copy assignment operator of 'TransformIterator<std::__1::__wrap_iter<const std::__1::unique_ptr<souffle::ast::Literal> *>, const (lambda at /tmp/souffle-20210823-23822-1q1d0at/src/include/souffle/utility/Iteration.h:372:38)>' is implicitly deleted because field 'fun' has no copy assignment operator
    F fun;
      ^
1 error generated.
make[2]: *** [src/CMakeFiles/libsouffle.dir/ast/Aggregator.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[1]: *** [src/CMakeFiles/libsouffle.dir/all] Error 2
[  7%] Linking CXX executable souffleprof
[  7%] Built target souffleprof
make: *** [all] Error 2

If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
  https://github.com/souffle-lang/homebrew-souffle/issues

Build of Souffle HEAD via Homebrew fails on Mac 12.6.1

==> Upgrading souffle-lang/souffle/souffle
HEAD-66b96fd -> HEAD-b8b1
==> git fetch --tags
==> cmake -B build -S . -DSOUFFLE_BASH_COMPLETION=OFF -DCMAKE_CXX_COMPILER=g++-1
==> cmake --build build --target install -j
Last 15 lines from /Users/md/Library/Logs/Homebrew/souffle/03.cmake:
In file included from /tmp/souffle-20221122-45724-auw3x6/src/interpreter/Index.h:18:
In file included from /tmp/souffle-20221122-45724-auw3x6/src/interpreter/Util.h:19:
/tmp/souffle-20221122-45724-auw3x6/src/include/souffle/RamTypes.h:83:5: error: static_assert failed due to requirement 'sizeof(int) == sizeof(double)' "Can't bit cast types with different size."
static_assert(sizeof(To) == sizeof(From), "Can't bit cast types with different size.");
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
[ 85%] Linking CXX executable test_record_table
[ 85%] Built target test_record_table
[ 86%] Linking CXX executable souffleprof
[ 86%] Built target souffleprof
[ 86%] Linking CXX executable test_brie
[ 86%] Built target test_brie
4 errors generated.
make[2]: *** [src/CMakeFiles/libsouffle.dir/interpreter/Engine.cpp.o] Error 1
make[1]: *** [src/CMakeFiles/libsouffle.dir/all] Error 2
make: *** [all] Error 2

$ g++-12 --version
g++-12 (Homebrew GCC 12.2.0) 12.2.0
Copyright (C) 2022 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Build of Souffle 2.1 fails on macOS 11.5.2 

==> Downloading https://github.com/souffle-lang/souffle/archive/refs/tags/2.1.tar.gz
==> cmake -B build -S .
==> cmake --build build --target install
Last 15 lines from /Users/legend/Library/Logs/Homebrew/souffle/02.cmake:
             ^
/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.3.sdk/usr/include/math.h:155:5: note: expanded from macro 'isfinite'
    ( sizeof(x) == sizeof(float)  ? __inline_isfinitef((float)(x))       \
    ^
[ 29%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/RelationDetailCache.cpp.o
[ 29%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/RelationSchedule.cpp.o
[ 30%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/SCCGraph.cpp.o
[ 30%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/SumTypeBranches.cpp.o
[ 31%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/TopologicallySortedSCCGraph.cpp.o
[ 31%] Building CXX object src/CMakeFiles/libsouffle.dir/ast/analysis/Type.cpp.o
15 errors generated.
gmake[2]: *** [src/CMakeFiles/libsouffle.dir/build.make:787: src/CMakeFiles/libsouffle.dir/ast/analysis/ProfileUse.cpp.o] Error 1
gmake[2]: *** Waiting for unfinished jobs....
gmake[1]: *** [CMakeFiles/Makefile2:1179: src/CMakeFiles/libsouffle.dir/all] Error 2
gmake: *** [Makefile:166: all] Error 2

Failed Installation on High Sierra

I attempted to install using the homebrew command brew install souffle-lang/homebrew-souffle/souffle but it returned this exception:

./configure
--disable-silent-rules
--prefix=/usr/local/Cellar/souffle/1.2.0


If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
https://github.com/souffle-lang/homebrew-souffle/issues

/usr/local/Homebrew/Library/Homebrew/exceptions.rb:426:in `block in dump': undefined method `check_for_bad_install_name_tool' for #<Homebrew::Diagnostic::Checks:0x000001028404d8> (NoMethodError)
Did you mean?  check_for_tap_ruby_files_locations
	from /usr/local/Homebrew/Library/Homebrew/exceptions.rb:425:in `each'
	from /usr/local/Homebrew/Library/Homebrew/exceptions.rb:425:in `dump'
	from /usr/local/Homebrew/Library/Homebrew/brew.rb:138:in `rescue in <main>'
	from /usr/local/Homebrew/Library/Homebrew/brew.rb:30:in `<main>'

SHA256 mismatch of souffle-2.0.0.tar.gz

I just tried to install souffle and encountered a SHA256 mismatch.


$ brew install souffle-lang/souffle/souffle
Updating Homebrew...
==> Installing souffle from souffle-lang/souffle
==> Downloading https://homebrew.bintray.com/bottles/libtool-2.4.6_2.mojave.bottle.tar.gz
Already downloaded: /Users/sakai/Library/Caches/Homebrew/downloads/683329f74e25109779ce53a2703c1223377cc5469c9498bb8977880af7474ac1--libtool-2.4.6_2.mojave.bottle.tar.gz
==> Downloading https://homebrew.bintray.com/bottles/bison-3.6.4.mojave.bottle.tar.gz
Already downloaded: /Users/sakai/Library/Caches/Homebrew/downloads/ead1af8c7b88ca74d24c4a0865d3b69ce7173eebdf6cfbdd7a38bac669653b88--bison-3.6.4.mojave.bottle.tar.gz
==> Downloading https://homebrew.bintray.com/bottles/libffi-3.3.mojave.bottle.tar.gz
Already downloaded: /Users/sakai/Library/Caches/Homebrew/downloads/9516741d931b4f8df4cada0a29d44693c9a49b9472a2ea9a85685eebf7bf3414--libffi-3.3.mojave.bottle.tar.gz
==> Downloading https://homebrew.bintray.com/bottles/mcpp-2.7.2.mojave.bottle.1.tar.gz
Already downloaded: /Users/sakai/Library/Caches/Homebrew/downloads/6ab82178b05301b235a6ee9e4e6cc9490625eb4ba0d5e3a43fb97bd94a6c9350--mcpp-2.7.2.mojave.bottle.1.tar.gz
==> Downloading https://dl.bintray.com/souffle-lang/osx/souffle-2.0.0.tar.gz
Already downloaded: /Users/sakai/Library/Caches/Homebrew/downloads/062b2d3e54e604143d66a478b268fc0d0b42e727439604540d963b9728e11ab7--souffle-2.0.0.tar.gz
Error: SHA256 mismatch
Expected: 92d0cdf4aab9bec052b207e47a64d621a4c4c4f7740292095d749ac19b0cd84a
  Actual: 71106c3d04468ed7aba0352a81dc3c8ae14c471addad24fcf425ff3a1c0715fd
 Archive: /Users/sakai/Library/Caches/Homebrew/downloads/062b2d3e54e604143d66a478b268fc0d0b42e727439604540d963b9728e11ab7--souffle-2.0.0.tar.gz
To retry an incomplete download, remove the file above.

The formula says it has 92d0cdf4aab9bec052b207e47a64d621a4c4c4f7740292095d749ac19b0cd84a as SHA256 while the uploaded file has 71106c3d04468ed7aba0352a81dc3c8ae14c471addad24fcf425ff3a1c0715fd as SHA256.

homebrew-souffle/Formula/souffle.rb

Lines 5 to 6 in b192a96

url "https://dl.bintray.com/souffle-lang/osx/souffle-2.0.0.tar.gz"
sha256 "92d0cdf4aab9bec052b207e47a64d621a4c4c4f7740292095d749ac19b0cd84a" 

$ wget https://dl.bintray.com/souffle-lang/osx/souffle-2.0.0.tar.gz
$ shasum -a 256 souffle-2.0.0.tar.gz 
71106c3d04468ed7aba0352a81dc3c8ae14c471addad24fcf425ff3a1c0715fd  souffle-2.0.0.tar.gz

Brew install fails on macOS 13.2.1 with m1 chip

Command Used

brew install --HEAD souffle-lang/souffle/souffle

Terminal Log

==> cmake --build build --target install -j
Last 15 lines from /Users/sakibfuad/Library/Logs/Homebrew/souffle/05.cmake:
^
In file included from /tmp/souffle-20230328-30231-1wcy4ha/src/interpreter/Engine.cpp:16:
In file included from /tmp/souffle-20230328-30231-1wcy4ha/src/interpreter/Engine.h:20:
In file included from /tmp/souffle-20230328-30231-1wcy4ha/src/interpreter/Context.h:19:
In file included from /tmp/souffle-20230328-30231-1wcy4ha/src/interpreter/Index.h:18:
In file included from /tmp/souffle-20230328-30231-1wcy4ha/src/interpreter/Util.h:19:
/tmp/souffle-20230328-30231-1wcy4ha/src/include/souffle/RamTypes.h:83:5: error: static_assert failed due to requirement 'sizeof(int) == sizeof(double)' "Can't bit cast types with different size."
static_assert(sizeof(To) == sizeof(From), "Can't bit cast types with different size.");
^ ~~~~~~~~~~~~~~~~~~~~~~~~~~
2 errors generated.
make[2]: *** [src/CMakeFiles/libsouffle.dir/MainDriver.cpp.o] Error 1
4 errors generated.
make[2]: *** [src/CMakeFiles/libsouffle.dir/interpreter/Engine.cpp.o] Error 1
make[1]: *** [src/CMakeFiles/libsouffle.dir/all] Error 2
make: *** [all] Error 2

Brew install on macOS 11.6 fails

Terminal Log:

Last 15 lines from /Users/user/Library/Logs/Homebrew/souffle/03.cmake: using ::islessgreater; ~~^ /Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk/usr/include/c++/v1/cmath:332:9: error: no member named 'isunordered' in the global namespace using ::isunordered; ~~^ /Library/Developer/CommandLineTools/SDKs/MacOSX11.sdk/usr/include/c++/v1/cmath:333:9: error: no member named 'isunordered' in the global namespace using ::isunordered; ~~^ 13 errors generated. make[2]: *** [src/CMakeFiles/libsouffle.dir/ast/analysis/Functor.cpp.o] Error 1 make[2]: *** Waiting for unfinished jobs.... 13 errors generated. make[2]: *** [src/CMakeFiles/libsouffle.dir/ast/analysis/PolymorphicObjects.cpp.o] Error 1 make[1]: *** [src/CMakeFiles/libsouffle.dir/all] Error 2 make: *** [all] Error 2

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.