search

bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
215 stars 58 forks source link

What does './configure --with-vex=<...> ...' means? #49

Open whbjzzwjxq opened 3 years ago

whbjzzwjxq commented 3 years ago

It is a little confusing whether <...> means path/to/vex or just <...>? The same as ... Any example here? Thanks a lot.

source line: https://github.com/bitblaze-fuzzball/fuzzball/blob/master/INSTALL#L232

whbjzzwjxq commented 3 years ago

I have run this command successfully as: ./configure --with-vex=$VEX_HOME ...