Comments (3)
I just built but did not install
cvise
, so tired running it from the build location, but this failed withcvise
being unable to find the tools for doing the passes.I solved this by doing this:
export PATH=~/cvise/build/clex/:~/cvise/build/clang_delta:~/cvise/build:~/cvise/build/cvise:~/creduce/unifdef:~/creduce/delta/:$PATH
You are right, I'm going to support local search of clang_delta
and clex
.
which also requires
unifdef
andtopflatformat
, which do not appear to be part of a normalcvise
build (but they are part of acreduce
build!).
Yes, I decided to exclude the third party programs from cvise
build.
I guess it needs to be documented that, if you want to run a non-installed build of
cvise
, you need to set$PATH
, and that you need to installunifdef
andtopflatformat
"from somewhere else".
unifdef
(e.g.,) is listed in the Fedora Dockerimage, but I couldn't find this documented anywhere else.
I documented them to INSTALL.md
and makes detection of them.
from cvise.
You are right, I'm going to support local search of clang_delta and clex.
Ideal!
Yes, I decided to exclude the third party programs from cvise build.
I have zero issues with that ... this was an "observation" rather than a criticism (and would explain why I added creduce
to $PATH
to work with cvise
).
I documented them to INSTALL.md and makes detection of them.
Awesome!
from cvise.
Fixed now.
from cvise.
Related Issues (20)
- Error in ExpressionDetector.cpp when building HOT 1
- Build failure with recent trunk: possibly dangling reference to a temporary HOT 1
- UnIfDefPass has encountered a bug: pass error state: 44 HOT 3
- IfPass has encountered a bug: pass error state: BinaryState: 0-10993 of 10993 instances HOT 6
- ClangBinarySearchPass::replace-function-def-with-decl has encountered a bug: pass error state: BinaryState: 0-1350 of 2701 instances HOT 1
- ClexPass::rm-toks-1 has encountered a bug: pass got stuck state: 50000 HOT 5
- Infinite loop in clang_delta replace-function-def-with-decl HOT 19
- error: no type named 'Designator' in 'clang::DesignatedInitExpr' HOT 1
- RFC for improvement: (1) add support for GCC compilation. (2) This may be a red herring, but we may want to eliminate lines from the end, NOT fromt he begining. HOT 8
- Allow folders/directories in test cases HOT 8
- New release for LLVM 16 support? HOT 3
- remove-unused-outer-class is very restrictive on what it removes HOT 1
- cvise stops intermittently HOT 7
- Parallelism doesn't do much HOT 9
- When are shortcuts taken into account? HOT 3
- clang_delta: […] clang::Expr::ClassifyImpl(…) const: Assertion `isLValue()' failed. HOT 15
- cvise: running only the "light" transformations HOT 2
- ability to use /bin/sh for --commands HOT 2
- Release new version HOT 1
- Understanding C-Vise Performance with multiple cores and Comparison with C-Reduce HOT 7
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 cvise.