GNUmakefile

   1 # ---------
   2 # ocaml env
   3 # ---------
   4 OCAML_FLAGS?=-w @a-4-6-7-9-26-27-29
   5 OCAMLCC_FLAGS?=-ccopt -Werror -ccopt -Wall -ccopt -Wextra
   6 OCAMLCC_D_FLAGS?=-ccopt -Wno-error
   7 override OCAMLDEP_FLAGS:=-ml-synonym .cmi -ml-synonym .mll
   8 export OCAMLRUNPARAM
   9
  10 # --------
  11 # make env
  12 # --------
  13 camlcase=$(shell pack=$(1); printf %c $${pack} | tr '[a-z]' '[A-Z]'; printf %s $${pack\#?})
  14 dirname=$(patsubst %/,%,$(dir $1))
  15 filter-dir=$(patsubst %/.,%,$(wildcard $(patsubst %,%/.,$1)))
  16 filter-dir-out=$(foreach x,$1,$(if $(call filter-dir,$x),,$x))
  17 flock=flock $1 $2 -c "$(subst ",\",$(subst \,\\,$3))"
  18 flocks=$(if $2,$(call \
  19         flock,$1,$(firstword $2),$(call \
  20                 flocks,$1,$(wordlist 2,$(words $2),$2),$3)),$3)
  21 GNUmakefile.inc?=GNUmakefile.inc
  22 if_arg=$(if $2,$1 $2)
  23 is_parallel=$(findstring j,$(value MAKEFLAGS))
  24 map=$(foreach x,$2,$(call $1,$x))
  25 mul=$(foreach p,$1,$(foreach s,$2,$p$s))
  26 rev=$(if $1,$(call \
  27         rev,$(wordlist 2,$(words $1),$1))) $(firstword $1)
  28 ,:=,
  29 .SECONDARY:
  30 .SUFFIXES:
  31         MAKEFLAGS += -r
  32 .SHELLFLAGS += -e
  33
  34 # -----
  35 # clean
  36 # -----
  37 rmw=$(call if_arg,rm,$(wildcard $1))
  38 clean+=$(or   $(filter c,$(MAKECMDGOALS)),$(filter  %/c,$(MAKECMDGOALS)),$(filter  clean,$(MAKECMDGOALS)),$(filter   %/clean,$(MAKECMDGOALS)))
  39 cleaner+=$(or $(filter cc,$(MAKECMDGOALS)),$(filter %/cc,$(MAKECMDGOALS)),$(filter cleaner,$(MAKECMDGOALS)),$(filter %/cleaner,$(MAKECMDGOALS)))
  40 LIBOCAML_MAKE_NO_DEPS+=$(or $(clean),$(cleaner))
  41 %.ml/clean: %.mll
  42         $(call rmw,$(@:/clean=))
  43 %.ml/clean:
  44
  45 %.o/clean:
  46         $(call rmw,$(@:/clean=) $*.s $(if $(cleaner),$*.d))
  47 %.a/clean:
  48         $(call rmw,$(@:/clean=))
  49 %.cm/clean: %.ml/clean
  50         $(call rmw,$*.cmo $*.cmx $*.cmxs $*.o $*.s $*.startup.s $*.cmi $(if $(cleaner),$*.d))
  51 %.ca/clean:
  52         $(call rmw,$*.cma $*.cmxa $*.a)
  53 %.cb/clean:
  54         $(call rmw,$*.byte $*.native)
  55
  56 # ---------------------
  57 # ocaml GNUmakefile.inc
  58 # ---------------------
  59 define make_GNUmakefile.inc
  60 d       := $(or $1,.)
  61 dir_ptr := $$(dir_ptr).level
  62 dirstack_$$(dir_ptr) := $$d
  63
  64 Pack := $$(if $$(Pack),$$(Pack).)$$(call camlcase,$$(notdir $$d))
  65
  66 targets :=
  67
  68 include $1/$(GNUmakefile.inc)
  69
  70 ifeq ($$(LIBOCAML_MAKE_NO_DEPS),)
  71 -include $$(wildcard $$(o:.o=.d) $$(cm:.cm=.d))
  72 endif
  73
  74 dirs := $$(filter-out $1,$$(call filter-dir,$$(basename $$(targets))))
  75
  76 $1/c  $1/clean:   clean:=clean
  77 $1/cc $1/cleaner: cleaner:=cleaner
  78 $1/b  $1/byte:    byte:=byte
  79 $1/n  $1/native:  native:=native
  80 $1/b  $1/all:     byte:=byte
  81 $1/n  $1/all:     native:=native
  82
  83 # NOTE: no .PHONY: to trigger %/clean
  84 $1/c  $1/clean:   $$(addsuffix /clean,$$(targets))
  85 $1/cc $1/cleaner: $1/clean
  86
  87 ifeq ($$(LIBOCAML_MAKE_NO_DEPS),)
  88 targets := $$(foreach t,$$(targets), \
  89         $$t \
  90         $$(if $$(filter %.o,$$t)$$(filter %.cm,$$t) \
  91          ,$$(if $$(wildcard $$(basename $$t)),,$$(basename $$t).d)))
  92 endif
  93
  94 $1/b  $1/byte:        $$(patsubst %.cb,%.byte,  $$(patsubst %.ca,%.cma, $$(patsubst %.cm,%.cmo,$$(targets))))
  95 $1/n  $1/native:      $$(patsubst %.cb,%.native,$$(patsubst %.ca,%.cmxa,$$(patsubst %.cm,%.cmx,$$(targets))))
  96 $1/n  $1/all:         $1/byte $1/native
  97 $1/xb $1/exec-byte:   $$(cb:.cb=.byte.exec)
  98 $1/xn $1/exec-native: $$(cb:.cb=.native.exec)
  99
 100 Pack := $$(basename $$(Pack))
 101
 102 $$(foreach d,$$(dirs), \
 103   $$(eval $1/c  $1/clean:       $$d/clean) \
 104   $$(eval $1/cc $1/cleaner:     $$d/cleaner) \
 105   $$(eval $1/b  $1/byte:        $$d/byte) \
 106   $$(eval $1/n  $1/native:      $$d/native) \
 107   $$(eval $1/xb $1/exec-native: $$d/exec-byte) \
 108   $$(eval $1/xn $1/exec-byte:   $$d/exec-native) \
 109   $$(eval $$(call make_GNUmakefile.inc,$$d,$2)))
 110
 111 d       := $$(dirstack_$$(dir_ptr))
 112 dir_ptr := $$(basename $$(dir_ptr))
 113
 114 endef
 115 include_GNUmakefile.inc = $(eval $(call make_GNUmakefile.inc,$(or $1,.),$2))
 116
 117 # ----------
 118 # ocaml deps
 119 # ----------
 120 %.d: %.ml
 121         errnos=`{ { ocamlfind ocamldep $(OCAMLDEP_FLAGS) $(OCAML_DEPS_FLAGS) $< || echo >&3 0:$$?; } | \
 122         { sed >$@ -e 's/^[^ ]*\.cmx/&s \\\\\n&/' -e 's/ :/:/' || echo >&3 1:$$?; } \
 123         } 3>&1` && [ -z "$$errnos" ] || { rm $@ && false; }
 124
 125 # ------------
 126 # ocaml object
 127 # ------------
 128 o=$(filter %.o,$(targets))
 129 %.o: %.c
 130         ocamlfind ocamlc -ccopt -o -ccopt $@ -c $(OCAML_FLAGS) $(OCAMLCC_FLAGS) $(if $(DEBUG),-ccopt -Wa$(,)-aln=$*.s) $(filter %.c,$^)
 131 %.d: %.c
 132         ocamlfind ocamlc -ccopt -o -ccopt $@ -c -nostdlib -ccopt -MM -ccopt -MT"$@\\ $(@:d=o)" -ccopt -MF$@ $(OCAML_FLAGS) $(OCAMLCC_FLAGS) $(OCAMLCC_D_FLAGS) $<
 133
 134 # -----------
 135 # ocaml lexer
 136 # -----------
 137 %.ml: %.mll
 138         ocamllex $<
 139         touch -r $< $@ # NOTE: to avoid rebuilding %.d
 140
 141 # ------------
 142 # ocaml module
 143 # ------------
 144 cm=$(filter %.cm,$(targets))
 145 lock_ro_cmi=$(if $(and $(byte),$(native),$(is_parallel)),$(call \
 146         flocks,-s,$(patsubst %.cmx,%.cmi,$(patsubst %.cmo,%.cmi, \
 147                 $(filter %.cmi,$^) $(filter %.cmo,$^) $(filter %.cmx,$^))),$1),$1)
 148 lock_rw_cmi=$(if $(and $(byte),$(native),$(is_parallel)),$(call \
 149         flock,-x,$*.cmi,$(call \
 150                 flocks,-s,$(patsubst %.cmx,%.cmi,$(patsubst %.cmo,%.cmi, \
 151                         $(filter %.cmi,$^) $(filter %.cmo,$^) $(filter %.cmx,$^))),$1)),$1)
 152 %.cmo %.cmi: %.ml
 153         $(call lock_rw_cmi,ocamlfind ocamlc -c $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLC_FLAGS) $(filter %.ml,$^))
 154 %.cmx %cmi %.o: %.ml
 155         $(call lock_rw_cmi,ocamlfind ocamlopt -o $*.cmx -c $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLOPT_FLAGS) $(filter %.ml,$^))
 156 %.cmxs %.cmx %.cmi %.o: %.ml
 157         $(call lock_rw_cmi,ocamlfind ocamlopt -shared -o $*.cmxs $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLOPT_FLAGS) $(filter %.ml,$^))
 158
 159 # ----------
 160 # ocaml pack
 161 # ----------
 162 %.cmo %.cmi: %/$(GNUmakefile.inc)
 163         $(call lock_rw_cmi,ocamlfind ocamlc -pack -o $*.cmo $(OCAML_FLAGS) $(OCAMLC_FLAGS) $(OCAMLC_PACK_FLAGS) $(filter %.cmo,$^))
 164 %.cmx %.cmi %.o: %/$(GNUmakefile.inc)
 165         $(call lock_rw_cmi,ocamlfind ocamlopt -pack -o $*.cmx $(OCAML_FLAGS) $(OCAMLOPT_FLAGS) $(OCAMLOPT_PACK_FLAGS) $(filter %.cmx,$^))
 166
 167 # --------------
 168 # object archive
 169 # --------------
 170 o_of_a=$(patsubst %,$(1:.a=)/%,$(filter %.o,$(shell ar t $1))) $(call map,o_of_a,$(patsubst %,$(1:.a=)/%,$(filter %.a,$(shell ar t $1))))
 171 a=$(filter %.a,$(targets))
 172 %.a:
 173         $(call flock,-x,$(dir $*),ar cSru$(AR_FLAGS) $@ $(call \
 174                 map,o_of_a,$(filter %.a,$^)) $(filter %.o,$^) && ranlib $(RANLIB_FLAGS) $@)
 175 dll%.so: CC=$(shell ocamlfind ocamlc -config | sed -ne 's/^native_c_compiler: *//p')
 176 dll%.so: lib%.a
 177         $(CC) -o $@ -shared $(filter %.o,$(shell ar t $<))
 178
 179 # -------------
 180 # ocaml archive
 181 # -------------
 182 ca=$(filter %.ca,$(targets))
 183 %.cma:
 184         $(call lock_ro_cmi,ocamlfind ocamlc -a -o $@ $(OCAML_FLAGS) $(OCAMLC_FLAGS) $(OCAML_ARCH_FLAGS) $(OCAMLC_ARCH_FLAGS) $(filter %.cmo,$^))
 185 %.cmxa:
 186         $(call lock_ro_cmi,ocamlfind ocamlopt -a -o $@ $(OCAML_FLAGS) $(OCAMLOPT_FLAGS) $(OCAML_ARCH_FLAGS) $(OCAMLOPT_ARCH_FLAGS) $(filter %.cmx,$^))
 187
 188 # ------------
 189 # ocaml binary
 190 # ------------
 191 cb=$(filter %.cb,$(targets))
 192 %.byte:
 193         $(call lock_ro_cmi,ocamlfind ocamlc -o $@ -linkpkg $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLC_FLAGS) $(OCAML_BIN_FLAGS) $(OCAMLC_BIN_FLAGS) $(filter %.cmo,$^))
 194 %.native:
 195         $(call lock_ro_cmi,ocamlfind ocamlopt -o $@ -linkpkg $(OCAML_FLAGS) $(OCAML_DEPS_FLAGS) $(OCAMLOPT_FLAGS) $(OCAML_BIN_FLAGS) $(OCAMLOPT_BIN_FLAGS) $(filter %.cmx,$^))
 196
 197 # -----------------
 198 # binary capability
 199 # -----------------
 200 %.caps: setcap=$(shell PATH="$$PATH:/sbin"; which setcap)
 201 %.caps: %
 202         $(if $(caps),[ ! -x "$(setcap)" ] || $(setcap) "$(caps)" $*)
 203
 204 # ----------------
 205 # binary execution
 206 # ----------------
 207 .PHONY: %.byte.exec %.native.exec
 208 %.byte.exec: %.byte
 209         PATH=".:$$PATH"; \
 210         $< $(EXEC_FLAGS) $(EXEC_BYTE_FLAGS)
 211 %.native.exec: %.native
 212         PATH=".:$$PATH"; \
 213         $< $(EXEC_FLAGS) $(EXEC_NATIVE_FLAGS)
 214
 215 # ---------------
 216 # ocaml debugging
 217 # ---------------
 218 .PHONY: debug
 219 export DEBUG
 220 debug: $(filter-out debug,$(MAKECMDGOALS))
 221 debug: override OCAML_FLAGS+=-verbose
 222 debug: override OCAMLC_FLAGS+=-g -principal
 223 debug: override OCAMLCC_FLAGS+=-ccopt -ggdb3
 224 debug: override OCAMLDEP_FLAGS+=-verbose
 225 debug: override OCAMLOPT_FLAGS+=-ccopt -ggdb3
 226 debug: override OCAMLRUNPARAM+=b
 227 debug: override DEBUG:=debug