Comments (7)
Hi @sandacn,
This assertion checks that the SQLite header file matches with the library file. In your case, it doesn't match. Please check whether you have multiple version of SQLite installed.
You can try to compile the following C file with cc -v
and check the location of the SQLite header file and SQLite library:
#include <assert.h>
#include <stdio.h>
#include <string.h>
#include <sqlite3.h>
int main() {
assert(strcmp(SQLITE_VERSION, sqlite3_libversion()) == 0);
printf(\"%s\", sqlite3_libversion());
return 0;
}
from homebrew-core.
cc -v
result:
Apple clang version 11.0.3 (clang-1103.0.32.62)
Target: x86_64-apple-darwin19.6.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin
compile the c file you given and execute it
cc t.c -o t -lsqlite3
./t
result:
3.28.0
from homebrew-core.
when i reinstall ikos, new issue occurs:
==> python3 -s /private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/bin/virtualenv -p python3 /usr/local/Cellar/ikos/3.0/libexec/vendor
Last 15 lines from /Users/ryan/Library/Logs/Homebrew/ikos/02.python3:
Traceback (most recent call last):
File "/private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/lib/python3.8/site-packages/virtualenv.py", line 2632, in
main()
File "/private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/lib/python3.8/site-packages/virtualenv.py", line 860, in main
create_environment(
File "/private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/lib/python3.8/site-packages/virtualenv.py", line 1173, in create_environment
install_wheel(to_install, py_executable, search_dirs, download=download)
File "/private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/lib/python3.8/site-packages/virtualenv.py", line 1019, in install_wheel
_install_wheel_with_search_dir(download, project_names, py_executable, search_dirs)
File "/private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/lib/python3.8/site-packages/virtualenv.py", line 1110, in _install_wheel_with_search_dir
call_subprocess(cmd, show_stdout=False, extra_env=env, stdin=script)
File "/private/tmp/ikos--homebrew-virtualenv-20200806-18794-1yi5vcx/target/lib/python3.8/site-packages/virtualenv.py", line 963, in call_subprocess
raise OSError("Command {} failed with error code {}".format(cmd_desc, proc.returncode))
OSError: Command /usr/local/Cellar/ik...vendor/bin/python3.8 - setuptools pip wheel failed with error code 1
Running virtualenv with interpreter /usr/local/opt/[email protected]/bin/python3
If reporting this issue please do so at (not Homebrew/brew or Homebrew/core):
https://github.com/nasa-sw-vnv/homebrew-core/issues
from homebrew-core.
We've just announced a release candidate for IKOS 3.2, which includes a fix for this issue. We've included instructions to install it with homebrew. See NASA-SW-VnV/ikos#253 for details.
Please try it and let us know if the issue persists. Thanks!
from homebrew-core.
close issue
from homebrew-core.
Ok. We'll wait until the formula is merged and then close all pending issues.
from homebrew-core.
Closed by the solution to #9.
from homebrew-core.
Related Issues (14)
- IKOS installation fails HOT 13
- Fails to install on centos 8 HOT 1
- brew install on mac air fails HOT 3
- Failed to install IKOS v3.1 with Homebrew on Ubuntu 20.04 (WSL-2) HOT 8
- IKOS build fails on gcc12 HOT 6
- Unable to install IKOS 3.1 on Ubuntu 22.04 using Homebrew HOT 4
- Unable to install IKOS 3.1 on Ubuntu 22.04 using Homebrew
- Homebrew formula improvements HOT 11
- Installation on Fedora 39 via homebrew failed HOT 2
- Fails on macOS ARM64
- Installation of apron fails on Debian Trixie HOT 2
- Update homebrew formula for IKOS 3.3 HOT 1
- Apron `incompatible function pointer type` error on Intel Mac HOT 3
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.
from homebrew-core.