Mizar Core Library
Project description
# mizcore
Mizar Core Library
## Environment
OS - Linux (Tested on Ubuntu 20.04 LTS)
Compiler - GCC (Tested on GCC 9.3.0)
## Build
`bash sudo apt install build-essential cmake flex bison clang-tidy clang-format git clone https://github.com/mimosa-project/mizcore.git --recursive cd mizcore mkdir build cd build cmake .. make ` ### Build with clang ` cmake -C ../clang-cmakeinit.cmake .. make ` ### Cross compile for windows `bash docker build -t llvm-mingw ./x86_64-w64-mingw/ docker run --rm -v $(pwd):/mizcore llvm-mingw sh /mizcore/x86_64-w64-mingw/build.sh ` Note: You need to put libc++.dll, libunwind.dll in the same directory as the executable. Refer to /x86_64-w64-mingw/build.sh ### Cross compile for mac `bash docker build -t osxcross ./x86_64-apple-darwin/ docker run --rm -v $(pwd):/mizcore osxcross sh /mizcore/x86_64-apple-darwin/build.sh ` ## Test
`bash cd build ctest `
## build python ` python setup.py build `
## Development
### Installation
All developers are supposed to inspect the source code with clang-tidy and clang-format before committing.
`bash sudo apt install clang-tidy clang-format `
It is also recommended that VSCode users install the following extensions for on-the-fly inspection.
[Clang-Format](https://marketplace.visualstudio.com/items?itemName=xaver.clang-format)
[Clang-Tidy](https://marketplace.visualstudio.com/items?itemName=notskm.clang-tidy)
## TODO
Python binding (in another project).
JavaScript binding (in another project).
Support GitHub Actions.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
Built Distribution
Hashes for mizcore-0.0.4-cp310-cp310-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 8af372b8bb18cc2e8c6fc5302c394b08a1887c569e338cf90fc493de3f79d0fc |
|
MD5 | 57c1e2ec59d0e9c84e6ec0750e79fdf3 |
|
BLAKE2b-256 | a1072d325e79e4f9f7e9ebd8ac41308e6a7682e55293cdb07c7a7fe4cbc18c2f |