Comments (7)
Fixed by #11.
from zkllvm-template.
Ok, but I still don't see a zkllvm_zkllvm.ll
file
root@e6548116753f:/opt/zkllvm-template/build# cmake .. && make template
CMake Warning (dev) in CMakeLists.txt:
No project() command is present. The top-level CMakeLists.txt file must
contain a literal, direct call to the project() command. Add a line of
code such as
project(ProjectName)
near the top of the file, but after cmake_minimum_required().
CMake is pretending there is a "project(Project)" command on the first
line.
This warning is for project developers. Use -Wno-dev to suppress it.
-- Found Boost: /usr/lib/x86_64-linux-gnu/cmake/Boost-1.74.0/BoostConfig.cmake (found version "1.74.0") found components: container random system unit_test_framework
-- Could not find support for SSE2 on this machine.
-- Could not find support for SSE3 on this machine.
-- Could not find support for SSSE3 on this machine.
-- Could not find support for SSE4.1 on this machine.
-- Could not find support for SSE4.2 on this machine.
CMake Deprecation Warning at libs/crypto3/libs/containers/CMakeLists.txt:32 (cmake_policy):
The OLD behavior for policy CMP0079 will be removed from a future version
of CMake.
The cmake-policies(7) manual explains that the OLD behaviors of all
policies are deprecated and that a policy should be set to OLD only under
specific short-term circumstances. Projects should be ported to the NEW
behavior and not rely on setting a policy to OLD.
-- Could not find support for SSE2 on this machine.
-- Could not find support for SSE3 on this machine.
-- Could not find support for SSSE3 on this machine.
-- Could not find support for SSE4.1 on this machine.
-- Could not find support for SSE4.2 on this machine.
-- Found Boost: /usr/lib/x86_64-linux-gnu/cmake/Boost-1.74.0/BoostConfig.cmake (found version "1.74.0")
-- Could not find support for SSE2 on this machine.
-- Could not find support for SSE3 on this machine.
-- Could not find support for SSSE3 on this machine.
-- Could not find support for SSE4.1 on this machine.
-- Could not find support for SSE4.2 on this machine.
-- Could not find support for SSE2 on this machine.
-- Could not find support for SSE3 on this machine.
-- Could not find support for SSSE3 on this machine.
-- Could not find support for SSE4.1 on this machine.
-- Could not find support for SSE4.2 on this machine.
-- Could NOT find TomMath (missing: TomMath_LIBRARY TomMath_INCLUDE_DIRS)
-- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE)
-- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE)
-- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE)
-- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE)
-- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE)
-- Could NOT find PkgConfig (missing: PKG_CONFIG_EXECUTABLE)
-- Configuring done
-- Generating done
-- Build files have been written to: /opt/zkllvm-template/build
Built target template
root@e6548116753f:/opt/zkllvm-template/build# ls
CMakeCache.txt CMakeFiles CTestTestfile.cmake Makefile arch.c cmake_install.cmake libs src
root@e6548116753f:/opt/zkllvm-template/build#
from zkllvm-template.
It's not zkllvm_zkllvm
target. It's template
target.
from zkllvm-template.
I'm confused. Are you saying there should be a template.ll
file in the directory? Clearly ls
isn't showing me that. Am I doing something wrong?
from zkllvm-template.
You will get it after building the code with zkllvm.
from zkllvm-template.
If you are building in build
dir, then this file is located in build/src/
after make template
.
from zkllvm-template.
This is what I see in that folder
root@e6548116753f:/opt/zkllvm-template/build# ls src
CMakeFiles CTestTestfile.cmake Makefile cmake_install.cmake template.bc
Is it the .bc
file?
from zkllvm-template.
Related Issues (20)
- Crypto3-hash compilation bug
- Introduce compliancy with toolchain-based configuration.
- macOS-based deployment usage cannot find CircuitCompile.cmake
- Tutorial: describe the local proving workflow
- CI: make & prove a statement, verify a proof
- Tutorial: describe the local proving workflow HOT 1
- Tutorial: describe the Proof Market interaction workflow HOT 1
- Cannot test circuit based on sha256
- Failing to build circuits
- Add an example of unit-tests HOT 1
- Pin the installed zkLLVM version
- ZKLLVM_VERSION: unbound variable HOT 3
- ☂️ Development workflow: EVM verifier
- Storage proof application example
- Add verification on EVM testsnet
- Extend readme with a revise step
- Run zkllvm CI in the zkllvm-template
- [build circuit params] elliptic curve type is not specified HOT 2
- Multiple recursion layers demo
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from zkllvm-template.