github/concrete
1
1
Fork 0
mirror of https://github.com/zama-ai/concrete.git synced 2026-02-09 03:55:04 -05:00
Code Issues Packages Projects Releases Wiki Activity

fix(Runtime): link missing libraries

Browse Source 
We currently use LD_PRELOAD with the python extension to make the JIT
execution find the appropriate symbols, however, not linking with some
libraries caused other tools such as make to complain of not finding
symbols from libpthread and others
This commit is contained in:
youben11
2021-08-30 13:29:54 +01:00
committed by Quentin Bourgerie
parent 32d67726e2
commit 5f16cfabbf
3 changed files with 9 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/lib/Dialect/HLFHE/IR/HLFHEOps.cpp
View File

@@ -110,9 +110,11 @@ bool verifyEncryptedIntegerInputsConsistency(::mlir::OpState &op,
// Disable this check for the moment
// Check the witdh of the encrypted integer and the integer of the tabulated
// lambda are equals
// if (ct.getWidth() != l_cst.getElementType().cast<IntegerType>().getWidth()) {
// if (ct.getWidth() != l_cst.getElementType().cast<IntegerType>().getWidth())
// {
// op.emitOpError()
// << " should have equals width beetwen the encrypted integer result and "
// << " should have equals width beetwen the encrypted integer result
// and "
// "integers of the `tabulated_lambda` argument";
// return mlir::failure();
// }

6
compiler/lib/Dialect/MidLFHE/IR/MidLFHEOps.cpp
View File

@@ -126,8 +126,10 @@ mlir::LogicalResult verifyApplyLookupTable(ApplyLookupTable &op) {
// Disable this check for the moment
// Check the witdh of the encrypted integer and the integer of the tabulated
// lambda are equals
// if (result.getP() < l_cst.getElementType().cast<IntegerType>().getWidth()) {
// op.emitOpError() << "should have the width of the constants less or equals "
// if (result.getP() < l_cst.getElementType().cast<IntegerType>().getWidth())
// {
// op.emitOpError() << "should have the width of the constants less or
// equals "
// "than the precision of the encrypted integer";
// return mlir::failure();
// }

2
compiler/lib/Runtime/CMakeLists.txt
View File

@@ -3,4 +3,4 @@ add_library(ZamalangRuntime SHARED
wrappers.c
)
target_link_libraries(ZamalangRuntime Concrete)
target_link_libraries(ZamalangRuntime Concrete pthread m dl)