nasa-sw-vnv / homebrew-core Goto Github PK

View Code? Open in Web Editor NEW

5.0 5.0 2.0 24 KB

Homebrew formulae from NASA - Software Verification and Validation

Ruby 100.00%

homebrew-core's People

Contributors

Stargazers

Watchers

homebrew-core's Issues

Assertion failed: (strcmp(SQLITE_VERSION, sqlite3_libversion()) == 0)

==> cmake -G Unix Makefiles -DGMP_ROOT=/usr/local/opt/gmp -DMPFR_ROOT=/usr/local/opt/mpfr -DPPL_ROOT=/usr/local/opt/ppl -DAPRON_ROOT=/usr/local/opt/apron
Last 15 lines from /Users/ryan/Library/Logs/Homebrew/ikos/04.cmake:
CMake Error at cmake/FindSQLite3.cmake:88 (message):
error when running a program linked with SQLite3:

Assertion failed: (strcmp(SQLITE_VERSION, sqlite3_libversion()) == 0),
function main, file
/tmp/ikos-20200806-6318-125c8n1/ikos-3.0/build/analyzer/FindSQLite3Version.c,
line 8.

Child aborted
Call Stack (most recent call first):
analyzer/CMakeLists.txt:102 (find_package)

-- Configuring incomplete, errors occurred!
See also "/tmp/ikos-20200806-6318-125c8n1/ikos-3.0/build/CMakeFiles/CMakeOutput.log".

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

brew install on mac air fails

Looks like the it will not install on a mac air.

% brew install nasa-sw-vnv/core/ikos
llvm@9: The x86_64 architecture is required for this software.
Error: ikos: An unsatisfied requirement failed this build.

IKOS installation fails

brew install nasa-sw-vnv/core/ikos fails with the following error message:

==> Installing nasa-sw-vnv/core/ikos
==> Downloading https://github.com/nasa-sw-vnv/ikos/releases/download/v2.1/ikos-2.1.tar.gz
==> Downloading from https://github-production-release-asset-2e65be.s3.amazonaws.com/107311216/9
######################################################################## 100.0%
==> Downloading https://files.pythonhosted.org/packages/4e/8b/75469c270ac544265f0020aa7c4ea925c5
######################################################################## 100.0%
==> python -c import setuptools... --no-user-cfg install --prefix=/private/tmp/ikos--homebrew-vi
Last 15 lines from /Users/dennis/Library/Logs/Homebrew/ikos/01.python:
-c
import setuptools, tokenize
__file__ = 'setup.py'
exec(compile(getattr(tokenize, 'open', open)(__file__).read()
  .replace('\r\n', '\n'), __file__, 'exec'))
--no-user-cfg
install
--prefix=/private/tmp/ikos--homebrew-virtualenv-20181212-49529-ennkdu/target
--install-scripts=/private/tmp/ikos--homebrew-virtualenv-20181212-49529-ennkdu/target/bin
--single-version-externally-managed
--record=installed.txt

/System/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/distutils/dist.py:267: UserWarning: Unknown distribution option: 'python_requires'
  warnings.warn(msg)
error in virtualenv setup command: 'extras_require' must be a dictionary whose values are strings or lists of strings containing valid project/version requirement specifiers.

macOS 10.14.2

Fails to install on centos 8

On Centos 8, when I do brew install nasa-sw-vnv/core/ikos I get the following error:

patching file src/Determinate_inlines.hh
patching file src/OR_Matrix_inlines.hh
==> ./configure --with-gmp=/home/linuxbrew/.linuxbrew/opt/gmp --prefix=/home/linuxbrew/.linuxbrew/Cellar/ppl/1.2
==> make install
🍺  /home/linuxbrew/.linuxbrew/Cellar/ppl/1.2: 1,547 files, 45MB, built in 5 minutes 3 seconds
==> Installing nasa-sw-vnv/core/ikos dependency: apron
==> Patching
patching file ppl/ppl_user.cc
patching file products/Makefile
==> make APRON_PREFIX=/home/linuxbrew/.linuxbrew/Cellar/apron/0.9.10 GMP_PREFIX=/home/linuxbrew/.linuxbrew/opt/gmp MPFR_PREFIX=/home/linuxbrew/.linuxbrew/opt/mpfr PPL_PREFIX=/home/
Last 15 lines from /home/rob/.cache/Homebrew/Logs/apron/01.make:
                 from ../num/num.h:22,
                 from itv.h:9,
                 from itv.c:5:
../apron/ap_config.h:28:21: error: static declaration of 'strdup' follows non-static declaration
 static inline char* strdup(const char* s){
                     ^
In file included from ../num/num.h:11:0,
                 from itv.h:9,
                 from itv.c:5:
/usr/include/string.h:166:14: note: previous declaration of 'strdup' was here
 extern char *strdup (const char *__s)
              ^
make[1]: *** [Makefile:146: itvMPQ.o] Error 1
make[1]: Leaving directory '/tmp/apron-20200701-24121-pc9eds/apron-0.9.10/itv'
make: *** [Makefile:20: c] Error 2

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

IKOS build fails on gcc12

IKOS 3.1 build failed on gcc12 due to missed #include <vector> in some files:

.cache/Homebrew/Logs/ikos/04.make
2023-03-09 10:10:04 +0000

make
install

[  4%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/mark_internal_inline.cpp.o
[  4%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/lower_select.cpp.o
[  4%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/initialize.cpp.o
[  4%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/format/namer.cpp.o
[  4%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/lower_cst_expr.cpp.o
[  4%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/format/dot.cpp.o
[  4%] Generating python/ikos/settings/__init__.py
[  4%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/format/text.cpp.o
[  6%] Generating python/build/lib/ikos/__init__.py
warning: build_py: byte-compiling is disabled, skipping.

[  6%] Built target ikos-python
[  8%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/name_values.cpp.o
[  8%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/remove_printf_calls.cpp.o
[  9%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp-lib.dir/src/pass/remove_unreachable_blocks.cpp.o
[ 11%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/pass/add_loop_counters.cpp.o
[ 11%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/pass/add_partitioning_variables.cpp.o
[ 13%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/pass/name_values.cpp.o
[ 13%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/pass/pass.cpp.o
[ 14%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/pass/simplify_cfg.cpp.o
[ 14%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/pass/simplify_upcast_comparison.cpp.o
In file included from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/bundle.hpp:50,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/pass.hpp:46,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/add_partitioning_variables.hpp:46,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/src/pass/add_partitioning_variables.cpp:50:
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:111:8: error: 'vector' in namespace 'std' does not name a template type
  111 |   std::vector< DataLayoutInfo > integers;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:52:1: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
   51 | #include <ikos/ar/support/number.hpp>
  +++ |+#include <vector>
   52 | 
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:8: error: 'vector' in namespace 'std' does not name a template type
  114 |   std::vector< DataLayoutInfo > floats;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:3: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
  114 |   std::vector< DataLayoutInfo > floats;
      |   ^~~
[ 16%] Building CXX object ar/CMakeFiles/ikos-ar.dir/src/semantic/bundle.cpp.o
In file included from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/bundle.hpp:50,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/pass.hpp:46,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/src/pass/pass.cpp:44:
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:111:8: error: 'vector' in namespace 'std' does not name a template type
  111 |   std::vector< DataLayoutInfo > integers;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:52:1: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
   51 | #include <ikos/ar/support/number.hpp>
  +++ |+#include <vector>
   52 | 
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:8: error: 'vector' in namespace 'std' does not name a template type
  114 |   std::vector< DataLayoutInfo > floats;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:3: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
  114 |   std::vector< DataLayoutInfo > floats;
      |   ^~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/src/pass/add_partitioning_variables.cpp:59:50: error: variable 'constexpr const std::array<unsigned int, 4> ikos::ar::bit_widths' has initializer but incomplete type
   59 | constexpr static const std::array< unsigned, 4 > bit_widths = {1, 8, 32, 64};
      |                                                  ^~~~~~~~~~
In file included from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/bundle.hpp:50,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/pass.hpp:46,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/simplify_cfg.hpp:46,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/src/pass/simplify_cfg.cpp:44:
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:111:8: error: 'vector' in namespace 'std' does not name a template type
  111 |   std::vector< DataLayoutInfo > integers;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:52:1: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
   51 | #include <ikos/ar/support/number.hpp>
  +++ |+#include <vector>
   52 | 
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:8: error: 'vector' in namespace 'std' does not name a template type
  114 |   std::vector< DataLayoutInfo > floats;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:3: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
  114 |   std::vector< DataLayoutInfo > floats;
      |   ^~~
[ 16%] Linking CXX static library libikos-pp.a
[ 16%] Built target ikos-pp-lib
[ 16%] Building CXX object frontend/llvm/CMakeFiles/ikos-pp.dir/src/ikos_pp.cpp.o
make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:132: ar/CMakeFiles/ikos-ar.dir/src/pass/add_partitioning_variables.cpp.o] Error 1
make[2]: *** Waiting for unfinished jobs....
make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:160: ar/CMakeFiles/ikos-ar.dir/src/pass/pass.cpp.o] Error 1
In file included from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/bundle.hpp:50,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/src/semantic/bundle.cpp:44:
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:111:8: error: 'vector' in namespace 'std' does not name a template type
  111 |   std::vector< DataLayoutInfo > integers;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:52:1: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
   51 | #include <ikos/ar/support/number.hpp>
  +++ |+#include <vector>
   52 | 
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:8: error: 'vector' in namespace 'std' does not name a template type
  114 |   std::vector< DataLayoutInfo > floats;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:3: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
  114 |   std::vector< DataLayoutInfo > floats;
      |   ^~~
make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:174: ar/CMakeFiles/ikos-ar.dir/src/pass/simplify_cfg.cpp.o] Error 1
In file included from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/bundle.hpp:50,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/pass.hpp:46,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/pass/simplify_upcast_comparison.hpp:47,
                 from /tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/src/pass/simplify_upcast_comparison.cpp:44:
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:111:8: error: 'vector' in namespace 'std' does not name a template type
  111 |   std::vector< DataLayoutInfo > integers;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:52:1: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
   51 | #include <ikos/ar/support/number.hpp>
  +++ |+#include <vector>
   52 | 
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:8: error: 'vector' in namespace 'std' does not name a template type
  114 |   std::vector< DataLayoutInfo > floats;
      |        ^~~~~~
/tmp/ikos-20230309-927908-oltumh/ikos-3.1/ar/include/ikos/ar/semantic/data_layout.hpp:114:3: note: 'std::vector' is defined in header '<vector>'; did you forget to '#include <vector>'?
  114 |   std::vector< DataLayoutInfo > floats;
      |   ^~~
make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:202: ar/CMakeFiles/ikos-ar.dir/src/semantic/bundle.cpp.o] Error 1
make[2]: *** [ar/CMakeFiles/ikos-ar.dir/build.make:188: ar/CMakeFiles/ikos-ar.dir/src/pass/simplify_upcast_comparison.cpp.o] Error 1
make[1]: *** [CMakeFiles/Makefile2:1528: ar/CMakeFiles/ikos-ar.dir/all] Error 2
make[1]: *** Waiting for unfinished jobs....
[ 16%] Linking CXX executable ikos-pp
[ 16%] Built target ikos-pp
make: *** [Makefile:146: all] Error 2

HOMEBREW_VERSION: 4.0.5
ORIGIN: https://github.com/Homebrew/brew
HEAD: b1ef41c25d12795dc93975e337e8644d0974b53c
Last commit: 4 days ago
Core tap JSON: 09 Mar 10:09 UTC
HOMEBREW_PREFIX: /home/linuxbrew/.linuxbrew
HOMEBREW_CASK_OPTS: []
HOMEBREW_DISPLAY: :0
HOMEBREW_MAKE_JOBS: 8
HOMEBREW_NO_BOOTSNAP: set
Homebrew Ruby: 2.6.8 => /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/2.6.8_1/bin/ruby
CPU: octa-core 64-bit haswell
Clang: 10.0.0
Git: 2.25.1 => /bin/git
Curl: 7.68.0 => /bin/curl
Kernel: Linux 5.15.0-60-generic x86_64 GNU/Linux
OS: Linux Mint 20.3 (una)
Host glibc: 2.31
/usr/bin/gcc: 9.4.0
/usr/bin/ruby: 2.7.0
glibc: N/A
gcc@11: N/A
gcc: N/A
xorg: N/A

HOMEBREW_CC: gcc-12
HOMEBREW_CXX: g++-12
MAKEFLAGS: -j8

Failed to install IKOS v3.1 with Homebrew on Ubuntu 20.04 (WSL-2)

I tried to install IKOS v3.1 with Homebrew as described in the project installation procedure:

brew install nasa-sw-vnv/core/ikos

However I end up with errors:

...
==> Installing nasa-sw-vnv/core/ikos dependency: apron
==> Patching
==> make APRON_PREFIX=/home/linuxbrew/.linuxbrew/Cellar/apron/0.9.10_1 GMP_PREFIX=/home/linuxbrew/.linuxbrew/opt/gmp MPFR_PREFIX=/home/linuxbrew/.li
Last 15 lines from /home/ThibFrgsGmz/.cache/Homebrew/Logs/apron/01.make:

(cd num; make all)
make[1]: Entering directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/num'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/num'
(cd itv; make all)
make[1]: Entering directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/itv'
gcc-10 -Wcast-qual -Wswitch -Werror-implicit-function-declaration -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes -Wno-unused -std=c99 -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -I../num -I../apron -I/home/linuxbrew/.linuxbrew/opt/gmp/include -I/home/linuxbrew/.linuxbrew/opt/mpfr/include -DNUM_MPQ -c -o itvMPQ.o itv.c
gcc-10: internal compiler error: Segmentation fault signal terminated program as
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-10/README.Bugs> for instructions.
make[1]: *** [Makefile:146: itvMPQ.o] Error 4
make[1]: Leaving directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/itv'
make: *** [Makefile:20: c] Error 2

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

Here are the complete contents of the /home/ThibFrgsGmz/.cache/Homebrew/Logs/apron/01.make' file.

2022-12-19 14:13:58 +0000

make
APRON_PREFIX=/home/linuxbrew/.linuxbrew/Cellar/apron/0.9.10_1
GMP_PREFIX=/home/linuxbrew/.linuxbrew/opt/gmp
MPFR_PREFIX=/home/linuxbrew/.linuxbrew/opt/mpfr
PPL_PREFIX=/home/linuxbrew/.linuxbrew/opt/ppl
HAS_OCAML=
HAS_OCAMLOPT=
HAS_JAVA=
OCAMLFIND=
HAS_PPL=1
all
install

(cd num; make all)
make[1]: Entering directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/num'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/num'
(cd itv; make all)
make[1]: Entering directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/itv'
gcc-10 -Wcast-qual -Wswitch -Werror-implicit-function-declaration -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes -Wno-unused -std=c99 -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -I../num -I../apron -I/home/linuxbrew/.linuxbrew/opt/gmp/include -I/home/linuxbrew/.linuxbrew/opt/mpfr/include -DNUM_MPQ -c -o itvMPQ.o itv.c
gcc-10: internal compiler error: Segmentation fault signal terminated program as
Please submit a full bug report,
with preprocessed source if appropriate.
See <file:///usr/share/doc/gcc-10/README.Bugs> for instructions.
make[1]: *** [Makefile:146: itvMPQ.o] Error 4
make[1]: Leaving directory '/tmp/apron-20221219-27408-1nwfqzz/apron-0.9.10/itv'
make: *** [Makefile:20: c] Error 2

HOMEBREW_VERSION: 3.6.15
ORIGIN: https://github.com/Homebrew/brew
HEAD: 11cdffb4fef84828a7e02860212b30ce4fac85f5
Last commit: 10 days ago
Core tap ORIGIN: https://github.com/Homebrew/homebrew-core
Core tap HEAD: a77e76758f6e1e1aafdf28adf2849f1996c19311
Core tap last commit: 10 minutes ago
Core tap branch: master
HOMEBREW_PREFIX: /home/linuxbrew/.linuxbrew
HOMEBREW_CASK_OPTS: []
HOMEBREW_MAKE_JOBS: 3
HOMEBREW_NO_BOOTSNAP: set
Homebrew Ruby: 2.6.8 => /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/vendor/portable-ruby/2.6.8_1/bin/ruby
CPU: 3-core 64-bit skylake
Clang: 10.0.0
Git: 2.25.1 => /bin/git
Curl: 7.68.0 => /bin/curl
Kernel: Linux 4.19.128-microsoft-standard x86_64 GNU/Linux
OS: Ubuntu 20.04.5 LTS (focal)
Host glibc: 2.31
/usr/bin/gcc: 10.3.0
/usr/bin/ruby: N/A
glibc: 2.35_1
gcc@11: N/A
gcc: 12.2.0
xorg: N/A

HOMEBREW_CC: gcc-10
HOMEBREW_CXX: g++-10
CMAKE_PREFIX_PATH: /home/linuxbrew/.linuxbrew/opt/glibc:/home/linuxbrew/.linuxbrew/opt/binutils:/home/linuxbrew/.linuxbrew
PKG_CONFIG_PATH: /home/linuxbrew/.linuxbrew/opt/gmp/lib/pkgconfig:/home/linuxbrew/.linuxbrew/opt/mpfr/lib/pkgconfig:/home/linuxbrew/.linuxbrew/opt/isl/lib/pkgconfig:/home/linuxbrew/.linuxbrew/opt/lz4/lib/pkgconfig:/home/linuxbrew/.linuxbrew/opt/xz/lib/pkgconfig:/home/linuxbrew/.linuxbrew/opt/zlib/lib/pkgconfig:/home/linuxbrew/.linuxbrew/opt/zstd/lib/pkgconfig
HOMEBREW_GIT: git
ACLOCAL_PATH: /home/linuxbrew/.linuxbrew/share/aclocal
PATH: /home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/shims/linux/super:/home/linuxbrew/.linuxbrew/opt/glibc/bin:/home/linuxbrew/.linuxbrew/opt/lz4/bin:/home/linuxbrew/.linuxbrew/opt/xz/bin:/home/linuxbrew/.linuxbrew/opt/zstd/bin:/home/linuxbrew/.linuxbrew/opt/binutils/bin:/home/linuxbrew/.linuxbrew/opt/gcc/bin:/home/linuxbrew/.linuxbrew/opt/ppl/bin:/usr/bin:/bin:/usr/sbin:/sbin

Recommend Projects

React

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

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

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

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
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.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

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

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.