GNUmakefile

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