HCoop / bpt / coccinelle.git / blame
| Commit | Line | Data |
|---|---|---|
| 97111a47 C |
1 | # |
| 2 | # Static configuration of Ocaml libraries | |
| 3 | # Add these libraries to the library list in configure in order to use them. | |
| 4 | # | |
| 5 | # Template: | |
| 6 | # LOCAL_$lib = modules to include when compiling $lib locally with bytecode ocaml | |
| 7 | # LOCALOPT_$lib = moduels to include when compiling $lib locally with optimizing ocaml | |
| 8 | # GLOBAL_$lib = modules to include when using $lib globally with bytecode ocaml | |
| 9 | # GLOBALOPT_$lib = modules to include when using $lib globally with optimizing ocaml | |
| 10 | # FLAGS_$lib = extra flags to pass to optimizing ocaml when using $lib at link time | |
| 11 | # | |
| 12 | # This file is included in the Makefile where these variables may be used depending | |
| 13 | # on your actual configuration. | |
| 14 | # | |
| 15 | ||
| 16 | ||
| 17 | # pycaml library | |
| 18 | LOCAL_pycaml = pycaml.cma | |
| 19 | LOCALOPT_pycaml = pycaml.cmxa | |
| 20 | GLOBAL_pycaml = pycaml.cma | |
| 21 | GLOBALOPT_pycaml = pycaml.cmxa | |
| 22 | FLAGS_pycaml = | |
| 23 | ||
| 24 | # sexplib library | |
| 25 | LOCAL_sexplib = sexplib.cmo | |
| 26 | LOCALOPT_sexplib = sexplib.cmx | |
| 27 | GLOBAL_sexplib = sexplib.cma | |
| 28 | GLOBALOPT_sexplib = sexplib.cmxa | |
| 29 | FLAGS_sexplib = | |
| 30 | ||
| 31 | # pcre library | |
| 32 | LOCAL_pcre = pcre.cmo | |
| 33 | LOCALOPT_pcre = pcre.cmx | |
| 34 | GLOBAL_pcre = pcre.cma | |
| 35 | GLOBALOPT_pcre = pcre.cmxa | |
| 36 | FLAGS_pcre = -cclib -lpcre | |
| 37 | ||
| 38 | # dynlink library | |
| 39 | LOCAL_dynlink = | |
| 40 | LOCALOPT_dynlink = | |
| 41 | GLOBAL_dynlink = dynlink.cma | |
| 42 | GLOBALOPT_dynlink = dynlink.cmxa | |
| 43 | ||
| 44 | # extlib library | |
| 45 | LOCAL_extlib = | |
| 46 | LOCALOPT_extlib = | |
| 47 | GLOBAL_extlib = extLib.cma | |
| 48 | GLOBALOPT_extlib = extLib.cmxa | |
| 49 | FLAGS_extlib = |