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 | ||
| d6ce1786 C |
17 | # *Note* |
| 18 | # Pay attention to the difference between -cclib and -ccopt: although the documentation | |
| 19 | # of -ccopt suggest that it subsumes -cclib, be sure to use -cclib for library includes. | |
| 20 | # | |
| 21 | # *Note* | |
| 22 | # the order in which library includes are specified matters! | |
| 23 | ||
| 24 | ||
| 97111a47 | 25 | # pycaml library |
| d6ce1786 C |
26 | # Note: we added the pycaml_stubs wrapper twice: once for dynamic and once for |
| 27 | # static linking. The ocaml compiler should use the static linking with the | |
| 28 | # stubs if possible. | |
| 29 | LOCAL_pycaml = $(PYCAMLDIR)/pycaml.cma | |
| 30 | LOCALOPT_pycaml = $(PYCAMLDIR)/pycaml.cmxa | |
| 31 | GLOBAL_pycaml = $(PYCAMLDIR)/pycaml.cma | |
| 32 | GLOBALOPT_pycaml = $(PYCAMLDIR)/pycaml.cmxa | |
| 33 | FLAGS_pycaml = $(CFLAGS_pycaml:%=-ccopt %) -dllib -lpycaml_stubs -cclib -lpycaml_stubs $(PYTHON_LIBS:%=-cclib %) | |
| 34 | OPTFLAGS_pycaml = $(CFLAGS_pycaml:%=-ccopt %) -cclib -lpycaml_stubs $(PYTHON_LIBS:%=-cclib %) | |
| 97111a47 C |
35 | |
| 36 | # sexplib library | |
| d6ce1786 C |
37 | LOCAL_sexplib = $(SEXPDIR)/sexplib.cmo |
| 38 | LOCALOPT_sexplib = $(SEXPDIR)/sexplib.cmx | |
| 39 | GLOBAL_sexplib = $(SEXPDIR)/sexplib.cma | |
| 40 | GLOBALOPT_sexplib = $(SEXPDIR)/sexplib.cmxa | |
| 97111a47 | 41 | FLAGS_sexplib = |
| d6ce1786 | 42 | OPTFLAGS_sexplib = |
| 97111a47 C |
43 | |
| 44 | # pcre library | |
| d6ce1786 C |
45 | # Note: see the comment of the pycaml library about the double appearance of the stubs library. |
| 46 | LOCAL_pcre = $(PCREDIR)/pcre.cmo | |
| 47 | LOCALOPT_pcre = $(PCREDIR)/pcre.cmx | |
| 48 | GLOBAL_pcre = $(PCREDIR)/pcre.cma | |
| 49 | GLOBALOPT_pcre = $(PCREDIR)/pcre.cmxa | |
| 50 | FLAGS_pcre = $(PCRE_LIBS:%=-ccopt %) -dllib -lpcre_stubs -cclib -lpcre_stubs | |
| 51 | OPTFLAGS_pcre = $(PCRE_LIBS:%=-ccopt %) -cclib -lpcre_stubs | |
| 97111a47 C |
52 | |
| 53 | # dynlink library | |
| 54 | LOCAL_dynlink = | |
| 55 | LOCALOPT_dynlink = | |
| d6ce1786 C |
56 | GLOBAL_dynlink = $(DYNLINKDIR)/dynlink.cma |
| 57 | GLOBALOPT_dynlink = $(DYNLINKDIR)/dynlink.cmxa | |
| 58 | FLAGS_dynlink = | |
| 59 | OPTFLAGS_dynlink = | |
| 97111a47 C |
60 | |
| 61 | # extlib library | |
| d6ce1786 C |
62 | LOCAL_extlib = $(EXTLIBDIR)/extLib.cma |
| 63 | LOCALOPT_extlib = $(EXTLIBDIR)/extLib.cmxa | |
| 64 | GLOBAL_extlib = $(EXTLIBDIR)/extLib.cma | |
| 65 | GLOBALOPT_extlib = $(EXTLIBDIR)/extLib.cmxa | |
| 97111a47 | 66 | FLAGS_extlib = |
| d6ce1786 | 67 | OPTFLAGS_extlib = |
| feec80c3 C |
68 | |
| 69 | # type conv library | |
| 70 | LOCAL_type_conv = pa_type_conv.cma | |
| 71 | LOCALOPT_type_conv = pa_type_conv.cmxa | |
| 72 | GLOBAL_type_conv = pa_type_conv.cma | |
| 73 | GLOBALOPT_type_conv = pa_type_conv.cma | |
| 74 | FLAGS_type_conv = | |
| d6ce1786 | 75 | OPTFLAGS_type_conv = |