generateCompileTimeOptions.sh

9 years ago

Add REQUIRE construct & new options · 95e8bbd6

Radek Hušek authored 9 years ago and

Radek Hušek committed 7 years ago

Add REQUIRE to define dependencies among compile
time options. Also defines new options USE_TWO_CUTS
and EXPLICIT_NORMAL_EDGES which are unused by now.

95e8bbd6

History

Add REQUIRE construct & new options

Radek Hušek authored 9 years ago and

Radek Hušek committed 7 years ago

Add REQUIRE to define dependencies among compile
time options. Also defines new options USE_TWO_CUTS
and EXPLICIT_NORMAL_EDGES which are unused by now.