svf-lib 1.0.1799 → 1.0.1801
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/SVF-linux/Release-build/include/Util/config.h +14 -9
- package/SVF-linux/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-linux/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/Release-build/include/Util/config.h +14 -9
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/package.json +1 -1
|
@@ -5,17 +5,22 @@
|
|
|
5
5
|
#define SVF_ROOT "/home/runner/work/SVF/SVF"
|
|
6
6
|
#define SVF_BUILD_DIR "/home/runner/work/SVF/SVF/Release-build"
|
|
7
7
|
#define SVF_INSTALL_DIR "/usr/local"
|
|
8
|
-
#define SVF_BIN_DIR
|
|
9
|
-
#define SVF_LIB_DIR
|
|
10
|
-
#define SVF_INCLUDE_DIR
|
|
11
|
-
#define SVF_EXTAPI_DIR
|
|
12
|
-
#define SVF_EXTAPI_BC
|
|
8
|
+
#define SVF_BIN_DIR "/usr/local/bin"
|
|
9
|
+
#define SVF_LIB_DIR "/usr/local/lib"
|
|
10
|
+
#define SVF_INCLUDE_DIR "/usr/local/include/svf"
|
|
11
|
+
#define SVF_EXTAPI_DIR "/usr/local/include/svf/SVF-LLVM"
|
|
12
|
+
#define SVF_EXTAPI_BC "/usr/local/include/svf/SVF-LLVM/extapi.bc"
|
|
13
13
|
|
|
14
|
-
// Build
|
|
14
|
+
// Build mode used to build SVF
|
|
15
15
|
#define SVF_BUILD_TYPE "Release"
|
|
16
|
-
|
|
17
|
-
|
|
16
|
+
|
|
17
|
+
// Sanitiser mode used for building SVF
|
|
18
18
|
/* #undef SVF_SANITIZE */
|
|
19
19
|
|
|
20
|
+
// Build options used when building SVF
|
|
21
|
+
/* #undef SVF_COVERAGE */
|
|
22
|
+
#define SVF_WARN_AS_ERROR
|
|
23
|
+
/* #undef SVF_EXPORT_DYNAMIC */
|
|
24
|
+
#define SVF_ENABLE_ASSERTIONS
|
|
20
25
|
|
|
21
|
-
#endif
|
|
26
|
+
#endif // CONFIG_H_IN
|
|
Binary file
|
|
Binary file
|
|
@@ -5,17 +5,22 @@
|
|
|
5
5
|
#define SVF_ROOT "/Users/runner/work/SVF/SVF"
|
|
6
6
|
#define SVF_BUILD_DIR "/Users/runner/work/SVF/SVF/Release-build"
|
|
7
7
|
#define SVF_INSTALL_DIR "/usr/local"
|
|
8
|
-
#define SVF_BIN_DIR
|
|
9
|
-
#define SVF_LIB_DIR
|
|
10
|
-
#define SVF_INCLUDE_DIR
|
|
11
|
-
#define SVF_EXTAPI_DIR
|
|
12
|
-
#define SVF_EXTAPI_BC
|
|
8
|
+
#define SVF_BIN_DIR "/usr/local/bin"
|
|
9
|
+
#define SVF_LIB_DIR "/usr/local/lib"
|
|
10
|
+
#define SVF_INCLUDE_DIR "/usr/local/include/svf"
|
|
11
|
+
#define SVF_EXTAPI_DIR "/usr/local/include/svf/SVF-LLVM"
|
|
12
|
+
#define SVF_EXTAPI_BC "/usr/local/include/svf/SVF-LLVM/extapi.bc"
|
|
13
13
|
|
|
14
|
-
// Build
|
|
14
|
+
// Build mode used to build SVF
|
|
15
15
|
#define SVF_BUILD_TYPE "Release"
|
|
16
|
-
|
|
17
|
-
|
|
16
|
+
|
|
17
|
+
// Sanitiser mode used for building SVF
|
|
18
18
|
/* #undef SVF_SANITIZE */
|
|
19
19
|
|
|
20
|
+
// Build options used when building SVF
|
|
21
|
+
/* #undef SVF_COVERAGE */
|
|
22
|
+
#define SVF_WARN_AS_ERROR
|
|
23
|
+
/* #undef SVF_EXPORT_DYNAMIC */
|
|
24
|
+
#define SVF_ENABLE_ASSERTIONS
|
|
20
25
|
|
|
21
|
-
#endif
|
|
26
|
+
#endif // CONFIG_H_IN
|
|
Binary file
|
|
Binary file
|