diff options
Diffstat (limited to 'src/bindings/java/CMakeLists.txt')
| -rw-r--r-- | src/bindings/java/CMakeLists.txt | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/bindings/java/CMakeLists.txt b/src/bindings/java/CMakeLists.txt index 6277b2794..a94afc0a0 100644 --- a/src/bindings/java/CMakeLists.txt +++ b/src/bindings/java/CMakeLists.txt @@ -97,6 +97,18 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/ExprManager.java ${CMAKE_CURRENT_BINARY_DIR}/ExprManagerMapCollection.java ${CMAKE_CURRENT_BINARY_DIR}/ExprStream.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPoint.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointConvertSort.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointSize.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToBV.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPFloatingPoint.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPGeneric.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPIEEEBitVector.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPReal.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPSignedBitVector.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToFPUnsignedBitVector.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToSBV.java + ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointToUBV.java ${CMAKE_CURRENT_BINARY_DIR}/FloatingPointType.java ${CMAKE_CURRENT_BINARY_DIR}/FunctionType.java ${CMAKE_CURRENT_BINARY_DIR}/GetAssertionsCommand.java @@ -162,6 +174,7 @@ set(gen_java_files ${CMAKE_CURRENT_BINARY_DIR}/ResourceManager.java ${CMAKE_CURRENT_BINARY_DIR}/Result.java ${CMAKE_CURRENT_BINARY_DIR}/RewriteRuleCommand.java + ${CMAKE_CURRENT_BINARY_DIR}/RoundingMode.java ${CMAKE_CURRENT_BINARY_DIR}/RoundingModeType.java ${CMAKE_CURRENT_BINARY_DIR}/SExpr.java ${CMAKE_CURRENT_BINARY_DIR}/SExprKeyword.java |