Project

General

Profile

Revision a80babbf _oasis

View differences:

_oasis
14 14
    Description: Link COOL executables statically
15 15
    Default:     false
16 16

  
17
Flag benchmarks
18
    Description: Build generators for benchmarks
19
    Default:     false
20

  
17 21
Library libcool
18 22
  CompiledObject:   native
19 23
  Path:             src/lib
......
67 71
  if flag(static)
68 72
    CCLib:            -static -ltinfo -lgpm -lz -ldl -lltdl
69 73

  
70
Executable gen
74
Executable aconjunctive_mu_generator
71 75
  CompiledObject:   native
72 76
  Path:             benchmarks/aconjunctive_mu
73 77
  BuildTools:       ocamlbuild
74
  MainIs:           gen.ml
78
  MainIs:           aconjunctive_mu_generator.ml
75 79
  BuildDepends:     libcool
80
  Build$:           flag(benchmarks)
76 81
  NativeOpt:        -cc g++
77 82
  ByteOpt:        -cc g++
78 83
  CCOpt: -std=c++98 -x c++

Also available in: Unified diff