AccSynt is a collection of tools and utilities for building program synthesizers in LLVM.
Build prerequisites:
- CMake 3.2 or newer
- Conan
- A C++ compiler with C++17 support, such as
g++7 or newer.
The build instructions in this section assume an environment variable
$BUILD_ROOT that points to where you want to build LLVM and AccSynt.
cd $BUILD_ROOT
git clone [email protected]:llvm/llvm-project
cd llvm-project
git checkout llvmorg-10.0.0
mkdir build
cd build
cmake \
-DCMAKE_BUILD_TYPE=Release \
-DCMAKE_C_COMPILER=$YOUR_CC \
-DCMAKE_CXX_COMPILER=$YOUR_CXX \
-DCMAKE_INSTALL_PREFIX=$BUILD_ROOT/llvm-install \
-DLLVM_ENABLE_RTTI=On \
-DLLVM_TARGETS_TO_BUILD=X86 \
-DLLVM_ENABLE_PROJECTS="clang;libcxx;libcxxabi" \
-DDEFAULT_SYSROOT=$(xcode-select -p)/SDKs/MacOSX.sdk" \
../llvm
make -j`nproc`
make install
Note that it's important to build LLVM and AccSynt with the same host compiler or you will run into library incompatibility issues. The host compiler also needs to support C++17 for AccSynt.
cd $BUILD_ROOT
git clone https://github.com/Baltoli/accsynt.git
cd accsynt
mkdir build
cd build
cmake \
-DCMAKE_BUILD_TYPE=Debug \
-DCMAKE_C_COMPILER=$YOUR_CC \
-DCMAKE_CXX_COMPILER=$YOUR_CXX \
-DLLVM_DIR=$BUILD_ROOT/llvm-install/lib/cmake/llvm \
../src
make -j`nproc`
make install
The following conan remotes might be needed in order to build the project:
https://api.bintray.com/conan/baltoli/value_ptr
https://api.bintray.com/conan/bincrafters/public-conan
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent