matitaB/matita/Makefile

   1 export SHELL=/bin/bash
   2
   3 include ../Makefile.defs
   4
   5 NULL =
   6 H=@
   7
   8 ifeq ($(ANNOT),true)
   9   ANNOTOPTION = -dtypes
  10 else
  11   ANNOTOPTION =
  12 endif
  13
  14 OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION)
  15 OCAMLDEP_FLAGS = -pp $(CAMLP5O)
  16 PKGS = -package "$(MATITA_REQUIRES)"
  17 CPKGS = -package "$(MATITA_CREQUIRES)"
  18 WPKGS = -package "$(MATITA_WREQUIRES)"
  19 OCAML_THREADS_FLAGS = -thread
  20 OCAML_DEBUG_FLAGS = -g
  21 #OCAML_PROF=p -p a
  22 #OCAMLOPT_DEBUG_FLAGS = -p
  23 OCAMLC_FLAGS = $(OCAML_FLAGS) $(OCAML_THREADS_FLAGS)
  24 OCAMLC = $(OCAMLFIND) ocamlc$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) $(SYNTAXOPTIONS)
  25 OCAMLTOP = $(OCAMLFIND) ocamlmktop$(OCAML_PROF) $(OCAMLC_FLAGS) $(OCAML_DEBUG_FLAGS) $(SYNTAXOPTIONS)
  26 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLC_FLAGS) $(OCAMLOPT_DEBUG_FLAGS) $(SYNTAXOPTIONS)
  27 OCAMLDEP = $(OCAMLFIND) ocamldep $(OCAMLDEP_FLAGS)
  28 INSTALL_PROGRAMS= matita matitac
  29 INSTALL_PROGRAMS_LINKS_MATITA=
  30 INSTALL_PROGRAMS_LINKS_MATITAC= matitaclean
  31 MY_SYNTAXOPTIONS = -pp "camlp5o -I $(UTF8DIR) -I $(ULEXDIR) pa_extend.cmo pa_ulex.cma pa_unicode_macro.cma -loc loc"
  32
  33
  34 MATITA_FLAGS = -noprofile
  35 NODB=false
  36 ifeq ($(NODB),true)
  37         MATITA_FLAGS += -nodb
  38 endif
  39
  40 MLI = \
  41         matitaScriptLexer.mli   \
  42         lablGraphviz.mli        \
  43         matitaTypes.mli         \
  44         matitaMisc.mli          \
  45         applyTransformation.mli \
  46         matitaEngine.mli        \
  47         matitaExcPp.mli         \
  48         matitaInit.mli          \
  49         matitaGtkMisc.mli       \
  50         virtuals.mli            \
  51         cicMathView.mli         \
  52         predefined_virtuals.mli \
  53         matitaMathView.mli      \
  54         matitaScript.mli        \
  55         $(NULL)
  56 CMLI =                          \
  57         matitaTypes.mli         \
  58         matitaMisc.mli          \
  59         applyTransformation.mli \
  60         matitaEngine.mli        \
  61         matitaExcPp.mli         \
  62         matitaInit.mli          \
  63         $(NULL)
  64 WMLI =                          \
  65         matitaTypes.mli         \
  66         matitaMisc.mli          \
  67         applyTransformation.mli \
  68         matitaEngine.mli        \
  69         matitaExcPp.mli         \
  70         matitaInit.mli          \
  71         matitaFilesystem.mli    \
  72         matitaAuthentication.mli \
  73         $(NULL)
  74 MAINCMLI =                      \
  75         matitaclean.mli         \
  76         $(NULL)
  77 # objects for matita (GTK GUI)
  78 ML = buildTimeConf.ml matitaGeneratedGui.ml $(MLI:%.mli=%.ml)
  79 # objects for matitac (batch compiler)
  80 CML = buildTimeConf.ml $(CMLI:%.mli=%.ml)
  81 WML = buildTimeConf.ml $(WMLI:%.mli=%.ml)
  82 MAINCML = $(MAINCMLI:%.mli=%.ml)
  83
  84 ALL_NORMAL_ML =                         \
  85                 applyTransformation.ml  \
  86                 matitaclean.ml          \
  87                 matitaFilesystem.ml     \
  88                 matitaMathView.ml       \
  89                 matitaTypes.ml          \
  90                 buildTimeConf.ml        \
  91                 matitac.ml              \
  92                 matitaGeneratedGui.ml   \
  93                 matitaMisc.ml           \
  94                 predefined_virtuals.ml  \
  95                 cicMathView.ml          \
  96                 matitadaemon.ml         \
  97                 matitaGtkMisc.ml        \
  98                 virtuals.ml             \
  99                 lablGraphviz.ml         \
 100                 matitaEngine.ml         \
 101                 matitaGui.ml            \
 102                 matitaAuthentication.ml \
 103                 matitaExcPp.ml          \
 104                 matitaInit.ml           \
 105                 matitaScript.ml
 106
 107 ALL_NORMAL_MLI =                                \
 108                 applyTransformation.mli  \
 109                 matitaclean.mli          \
 110                 matitaFilesystem.mli     \
 111                 matitaMathView.mli       \
 112                 matitaTypes.mli          \
 113                 matitaMisc.mli           \
 114                 predefined_virtuals.mli  \
 115                 cicMathView.mli          \
 116                 matitaGtkMisc.mli        \
 117                 virtuals.mli             \
 118                 lablGraphviz.mli         \
 119                 matitaEngine.mli         \
 120                 matitaGui.mli            \
 121                 matitaGuiTypes.mli       \
 122                 matitaScriptLexer.mli    \
 123                 matitaAuthentication.mli \
 124                 matitaExcPp.mli          \
 125                 matitaInit.mli           \
 126                 matitaScript.mli
 127
 128 ALL_SYNTAX_ML = matitaScriptLexer.ml
 129 ALL_SYNTAX_MLI = matitaScriptLexer.mli
 130
 131 PROGRAMS_BYTE = \
 132         matitac matitadaemon matitaclean
 133 PROGRAMS = $(PROGRAMS_BYTE)
 134 PROGRAMS_OPT = $(patsubst %,%.opt,$(PROGRAMS_BYTE))
 135 NOINST_PROGRAMS =
 136 NOINST_PROGRAMS_OPT = $(patsubst %,%.opt,$(EXTRA_PROGRAMS))
 137
 138 .PHONY: all
 139 all: $(PROGRAMS) $(NOINST_PROGRAMS)
 140
 141 UTF8DIR := $(shell $(OCAMLFIND) query helm-syntax_extensions)
 142 ULEXDIR := $(shell $(OCAMLFIND) query ulex08)
 143
 144 matitaScriptLexer.cmo: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 145 matitaScriptLexer.cmx: SYNTAXOPTIONS = $(MY_SYNTAXOPTIONS)
 146
 147 matitaFilesystem.cmi: matitaFilesystem.mli
 148         $(H)echo "  OCAMLC $<"
 149         $(H)$(OCAMLC) $(WPKGS) -c $<
 150 matitaFilesystem.cmo: matitaFilesystem.ml
 151         $(H)echo "  OCAMLC $<"
 152         $(H)$(OCAMLC) $(WPKGS) -c $<
 153
 154 matitaAuthentication.cmi: matitaAuthentication.mli
 155         $(H)echo "  OCAMLC $<"
 156         $(H)$(OCAMLC) $(WPKGS) -c $<
 157 matitaAuthentication.cmo: matitaAuthentication.ml
 158         $(H)echo "  OCAMLC $<"
 159         $(H)$(OCAMLC) $(WPKGS) -c $<
 160 matitaAuthentication.cmx: matitaAuthentication.ml
 161         $(H)echo "  OCAMLOPT $<"
 162         $(H)$(OCAMLOPT) $(WPKGS) -c $<
 163
 164 CMOS = $(ML:%.ml=%.cmo)
 165 CCMOS = $(CML:%.ml=%.cmo)
 166 WCMOS = $(WML:%.ml=%.cmo)
 167 MAINCMOS = $(MAINCML:%.ml=%.cmo)
 168 CMXS = $(patsubst %.cmo,%.cmx,$(CMOS))
 169 CCMXS = $(patsubst %.cmo,%.cmx,$(CCMOS))
 170 WCMXS = $(patsubst %.cmo,%.cmx,$(WCMOS))
 171 MAINCMXS = $(patsubst %.cmo,%.cmx,$(MAINCMOS))
 172 $(CMOS) : $(LIB_DEPS)
 173 $(CMXOS): $(LIBX_DEPS)
 174
 175 LIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_REQUIRES))
 176 LIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_REQUIRES))
 177 CLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_CREQUIRES))
 178 CLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_CREQUIRES))
 179 WLIB_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "byte" -format "%d/%a" $(MATITA_WREQUIRES))
 180 WLIBX_DEPS := $(shell $(OCAMLFIND) query -recursive -predicates "native" -format "%d/%a" $(MATITA_WREQUIRES))
 181 opt: $(PROGRAMS_OPT) $(NOINST_PROGRAMS_OPT)
 182 upx: $(PROGRAMS_UPX)
 183 .PHONY: opt upx
 184
 185 ifeq ($(HAVE_OCAMLOPT),yes)
 186 world: depend.opt opt links
 187 else
 188 world: depend all
 189 endif
 190
 191 #links %.opt -> %
 192 links:
 193         $(H)for X in $(INSTALL_PROGRAMS_LINKS_MATITAC) \
 194                         $(INSTALL_PROGRAMS_LINKS_MATITA); do\
 195                 ln -sf $$X.opt $$X;\
 196         done
 197         $(H)ln -sf matita.opt matita
 198         $(H)ln -sf matitac.opt matitac
 199
 200 linkonly:
 201         $(H)echo "  OCAMLC matitac.ml"
 202         $(H)$(OCAMLC) $(CPKGS) -linkpkg -o matitac $(CCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitac.ml
 203         $(H)echo "  OCAMLC matitadaemon.ml"
 204         $(H)$(OCAMLC) $(WPKGS) -linkpkg -o matitadaemon $(WCMOS) $(MAINCMOS) $(OCAML_DEBUG_FLAGS) matitadaemon.ml
 205
 206 .PHONY: linkonly
 207 matita: matita.ml $(LIB_DEPS) $(CMOS)
 208         $(H)echo "  OCAMLC $<"
 209         $(H)$(OCAMLC) $(PKGS) -linkpkg -o $@ $(CMOS) matita.ml
 210 matita.opt: matita.ml $(LIBX_DEPS) $(CMXS)
 211         $(H)echo "  OCAMLOPT $<"
 212         $(H)$(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml
 213
 214 matitac: matitac.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 215         $(H)echo "  OCAMLC $<"
 216         $(H)$(OCAMLC) $(CPKGS) -linkpkg -o $@ $(CCMOS) $(MAINCMOS) matitac.ml
 217 matitac.opt: matitac.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS)
 218         $(H)echo "  OCAMLOPT $<"
 219         $(H)$(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml
 220
 221 matitadaemon: matitadaemon.ml $(WLIB_DEPS) $(WCMOS) $(MAINCMOS)
 222         $(H)echo "  OCAMLC $<"
 223         $(H)$(OCAMLC) $(WPKGS) -linkpkg -o $@ $(WCMOS) $(MAINCMOS) matitadaemon.ml
 224 matitadaemon.opt: matitadaemon.ml $(WLIBX_DEPS) $(WCMXS) $(MAINCMXS)
 225         $(H)echo "  OCAMLOPT $<"
 226         $(H)$(OCAMLOPT) $(WPKGS) -linkpkg -o $@ $(WCMXS) $(MAINCMXS) matitadaemon.ml
 227
 228 webdb_convert: webdb_convert.ml $(WLIB_DEPS) $(WCMOS) $(MAINCMOS)
 229         $(H)echo "  OCAMLC $<"
 230         $(H)$(OCAMLC) $(WPKGS) -linkpkg -o $@ $(WCMOS) $(MAINCMOS) webdb_convert.ml
 231
 232 rottener: rottener.ml $(CLIB_DEPS) $(CCMOS) $(MAINCMOS)
 233         $(H)echo "  OCAMLC $<"
 234         $(H)$(OCAMLC) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMOS) $(MAINCMOS) rottener.ml
 235 rottener.opt: rottener.ml $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS)
 236         $(H)echo "  OCAMLOPT $<"
 237         $(H)$(OCAMLOPT) $(CPKGS) -package lablgtk2 -linkpkg -o $@ $(CCMXS) $(MAINCMXS) rottener.ml
 238 clean-rottened:
 239         find . -type f -name "*.ma.*.rottened" -exec rm {} \;
 240
 241 matitaclean: matitac
 242         $(H)test -f $@ || ln -s $< $@
 243 matitaclean.opt: matitac.opt
 244         $(H)test -f $@ || ln -s $< $@
 245
 246 matitaGeneratedGui.ml: matita.glade.utf8
 247         $(H)$(LABLGLADECC) -embed $< > matitaGeneratedGui.ml
 248
 249 matita.glade.utf8: matita.glade
 250         $(H)xmllint --encode UTF8 $< > $@
 251
 252 .PHONY: clean
 253 clean:
 254         $(H)rm -rf *.cma *.cmo *.cmi *.cmx *.cmxa *.a *.o \
 255                 $(PROGRAMS) $(PROGRAMS_OPT) \
 256                 rottener rottener.opt \
 257                 $(NOINST_PROGRAMS) $(NOINST_PROGRAMS_OPT) \
 258                 $(PROGRAMS_STATIC) \
 259                 $(PROGRAMS_UPX) \
 260                 *.stamp \
 261                 $(NULL)
 262
 263 .PHONY: distclean
 264 distclean: clean
 265         $(H)$(MAKE) -C dist/ clean
 266         $(H)rm -f matitaGeneratedGui.ml matitaGeneratedGui.mli
 267         $(H)rm -f buildTimeConf.ml
 268         $(H)rm -f matita.glade.bak matita.gladep.bak
 269         $(H)rm -f matita.conf.xml.sample
 270         $(H)rm -rf .matita
 271
 272 TEST_DIRS =                     \
 273         legacy                  \
 274         library                 \
 275         contribs/character      \
 276         tests                   \
 277         contribs/dama/dama      \
 278         contribs/assembly       \
 279         contribs/CoRN           \
 280         contribs/RELATIONAL     \
 281         contribs/LOGIC          \
 282         contribs/limits         \
 283         $(NULL)
 284
 285 #       library_auto
 286 TEST_DIRS_OPT =                 \
 287         $(TEST_DIRS)            \
 288 #       contribs/LAMBDA-TYPES   \
 289         $(NULL)
 290
 291 .PHONY: tests tests.opt cleantests cleantests.opt
 292 tests: $(foreach d,$(TEST_DIRS),$(d)-test)
 293 tests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-test-opt)
 294 cleantests: $(foreach d,$(TEST_DIRS),$(d)-cleantests)
 295 cleantests.opt: $(foreach d,$(TEST_DIRS_OPT),$(d)-cleantests-opt)
 296
 297 %-test: matitac matitaclean
 298         -cd $* && make -k clean all
 299 %-test-opt: matitac.opt matitaclean.opt
 300         -cd $* && make -k clean.opt opt
 301 %-cleantests: matitaclean
 302         -cd $* && make clean
 303 %-cleantests-opt: matitaclean.opt
 304         -cd $* && make clean.opt
 305
 306 # {{{ Distribution stuff
 307
 308 ifeq ($(DISTRIBUTED),yes)
 309
 310
 311 dist_library: install_preliminaries
 312         $(H)echo "publish"
 313         $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitac -system -noinnertypes)
 314         $(H)echo "destroy"
 315         $(H)cd $(WHERE)/ma/standard-library;(HOME=$(WHERE) USER=builder MATITA_RT_BASE_DIR=$(WHERE) MATITA_FLAGS='$(MATITA_CFLAGS)' $(WHERE)/matitaclean)
 316 # sqlite3 only
 317         $(H)cp $(WHERE)/.matita/matita.db  $(WHERE)/metadata.db || true
 318 #$(H)rm -rf $(WHERE)/.matita/
 319         touch $@
 320
 321 endif
 322
 323 dist_pre: matitaGeneratedGui.ml
 324         $(MAKE) -C dist/ dist_pre
 325
 326 WHERE = $(DESTDIR)/$(RT_BASE_DIR)
 327 INSTALL_STUFF =                         \
 328         icons/                          \
 329         help/                           \
 330         matita.gtkrc                    \
 331         matita.lang                     \
 332         matita.ma.templ                 \
 333         core_notation.moo               \
 334         matita.conf.xml                 \
 335         closed.xml                      \
 336         gtkmathview.matita.conf.xml     \
 337         AUTHORS                         \
 338         LICENSE                         \
 339         $(NULL)
 340
 341 ifeq ($(HAVE_OCAMLOPT),yes)
 342 INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS:%=%.opt)
 343 else
 344 INSTALL_STUFF_BIN = $(INSTALL_PROGRAMS)
 345 endif
 346
 347 install-arch: install_preliminaries
 348 install-indep:
 349
 350 install_preliminaries : install_preliminaries.stamp
 351
 352 install_preliminaries.stamp:
 353         $(H)install -d $(WHERE)/ma/
 354         $(H)cp -a $(INSTALL_STUFF) $(WHERE)
 355 ifeq ($(HAVE_OCAMLOPT),yes)
 356         $(H)install -s $(INSTALL_STUFF_BIN) $(WHERE)
 357         $(H)for p in $(INSTALL_PROGRAMS); do ln -fs $$p.opt $(WHERE)/$$p; done
 358 else
 359         $(H)install $(INSTALL_STUFF_BIN) $(WHERE)
 360 endif
 361         $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITAC); do \
 362                 ln -fs matitac $(WHERE)/$$p;\
 363         done
 364         $(H)for p in $(INSTALL_PROGRAMS_LINKS_MATITA); do \
 365                 ln -fs matita $(WHERE)/$$p;\
 366         done
 367         $(H)cp -a library/ $(WHERE)/ma/standard-library
 368         $(H)cp -a nlibrary/ $(WHERE)/ma/new-standard-library
 369
 370         $(H)touch install_preliminaries.stamp
 371
 372 uninstall:
 373         $(H)rm -rf $(WHERE)
 374
 375 STATIC_LINK = dist/static_link/static_link
 376 # for matita
 377 STATIC_LIBS =   \
 378         t1 t1x  \
 379         gtkmathview_gmetadom mathview mathview_backend_gtk mathview_frontend_gmetadom \
 380         gtksourceview-1.0 \
 381         gdome gmetadom_gdome_cpp_smart \
 382         stdc++ \
 383         mysqlclient \
 384         expat \
 385         $(NULL)
 386 STATIC_EXTRA_LIBS = -cclib -lt1x -cclib -lstdc++
 387 # for matitac & co
 388 STATIC_CLIBS = \
 389         gdome \
 390         mysqlclient \
 391         $(NULL)
 392 STATIC_CLIBS_PROVER = \
 393         $(STATIC_CLIBS) \
 394         z \
 395         pcre \
 396         expat \
 397         xml2 \
 398         glib-2.0 \
 399         $(NULL)
 400 STATIC_EXTRA_CLIBS =
 401 PROGRAMS_STATIC = $(patsubst %,%.static,$(PROGRAMS_OPT))
 402 PROGRAMS_UPX = $(patsubst %,%.upx,$(PROGRAMS_STATIC))
 403
 404 ifeq ($(HAVE_OCAMLOPT),yes)
 405 static: $(STATIC_LINK) $(PROGRAMS_STATIC)
 406 else
 407 upx:
 408         $(H)echo "Native code compilation is disabled"
 409 static:
 410         $(H)echo "Native code compilation is disabled"
 411 endif
 412
 413 $(STATIC_LINK):
 414         $(MAKE) -C dist/ $(STATIC_LINK)
 415
 416 matita.opt.static: $(STATIC_LINK) $(LIBX_DEPS) $(CMXS) matita.ml
 417         $(STATIC_LINK) $(STATIC_LIBS) -- \
 418                 $(OCAMLOPT) $(PKGS) -linkpkg -o $@ $(CMXS) matita.ml \
 419                 $(STATIC_EXTRA_LIBS)
 420         strip $@
 421 matitac.opt.static: $(STATIC_LINK) $(CLIBX_DEPS) $(CCMXS) $(MAINCMXS) matitac.ml
 422         $(STATIC_LINK) $(STATIC_CLIBS) -- \
 423                 $(OCAMLOPT) $(CPKGS) -linkpkg -o $@ $(CCMXS) $(MAINCMXS) matitac.ml \
 424                 $(STATIC_EXTRA_CLIBS)
 425         strip $@
 426 matitaclean.opt.static: matitac.opt.static
 427         $(H)test -f $@ || ln -s $< $@
 428
 429 %.upx: %
 430         cp $< $@
 431         strip $@
 432         upx $@
 433
 434 # }}} End of distribution stuff
 435
 436 # {{{ Deps and automatic rules
 437 tags: TAGS
 438 .PHONY: TAGS
 439 TAGS:
 440         $(H)cd ..; otags -vi -r components/ matita/
 441
 442 .PHONY: depend
 443
 444 depend:
 445         $(H)echo "  OCAMLDEP"
 446         $(H)$(OCAMLDEP) $(ALL_NORMAL_ML) $(ALL_NORMAL_MLI) > .depend
 447         $(H)$(OCAMLDEP) $(MY_SYNTAXOPTIONS) $(ALL_SYNTAX_ML) $(ALL_SYNTAX_MLI) >> .depend
 448 depend.opt:
 449         $(H)echo "  OCAMLDEP -native"
 450         $(H)$(OCAMLDEP) -native $(ALL_NORMAL_ML) $(ALL_NORMAL_MLI) > .depend.opt
 451         $(H)$(OCAMLDEP) $(MY_SYNTAXOPTIONS) -native $(ALL_SYNTAX_ML) $(ALL_SYNTAX_MLI) >> .depend.opt
 452
 453 # this should be sligtly better, since should work with 'make all opt'
 454 MAKECMDGOALS_DELIM=$(addprefix _x_,$(addsuffix _x_,$(MAKECMDGOALS)))
 455 ifneq (,$(findstring _x_all_x_,$(MAKECMDGOALS_DELIM)))
 456   # if we 'make all opt' the deps for 'all' should be fine also for opt
 457   # if we 'make opt all' it should not work...
 458   INCLUDE_MANDATORY=yes
 459   TO_INCLUDE+=.depend
 460   TO_DEPEND_ON=$(LIB_DEPS)
 461 else ifneq (,$(findstring _x_opt_x_,$(MAKECMDGOALS_DELIM)))
 462   INCLUDE_MANDATORY=yes
 463   TO_INCLUDE+=.depend.opt
 464   TO_DEPEND_ON=$(LIBX_DEPS)
 465 else ifneq (,$(findstring _x_world_x_,$(MAKECMDGOALS_DELIM)))
 466   ifeq ($(HAVE_OCAMLOPT),yes)
 467     INCLUDE_MANDATORY=yes
 468     TO_INCLUDE+=.depend.opt
 469     TO_DEPEND_ON=$(LIBX_DEPS)
 470   else
 471     INCLUDE_MANDATORY=yes
 472     TO_INCLUDE+=.depend
 473     TO_DEPEND_ON=$(LIB_DEPS)
 474   endif
 475 else
 476   TO_INCLUDE+=.depend
 477   INCLUDE_MANDATORY=no
 478   TO_DEPEND_ON=$(LIB_DEPS)
 479 endif
 480
 481 $(MLI:%.mli=%.cmi) $(ML:%.ml=%.cmo) $(ML:%.ml=%.cmx): $(TO_DEPEND_ON)
 482
 483 ifeq (no,$(INCLUDE_MANDATORY))
 484   -include $(TO_INCLUDE)
 485 else
 486   include $(TO_INCLUDE)
 487 endif
 488
 489 %.cmi: %.mli
 490         $(H)echo "  OCAMLC $<"
 491         $(H)$(OCAMLC) $(PKGS) -c $<
 492 %.cmo %.cmi: %.ml
 493         $(H)echo "  OCAMLC $<"
 494         $(H)$(OCAMLC) $(PKGS) -c $<
 495 %.cmx: %.ml
 496         $(H)echo "  OCAMLOPT $<"
 497         $(H)$(OCAMLOPT) $(PKGS) -c $<
 498 %.annot: %.ml
 499         $(H)echo "  OCAMLC -dtypes $<"
 500         $(H)$(OCAMLC) -dtypes $(PKGS) -c $<
 501
 502 deps.ps: deps.dot
 503         dot -Tps -o $@ $<
 504 deps.dot: .depend
 505         ./dep2dot.rb < $< | tred > $@
 506
 507 # }}} End of deps and automatic rules
 508
 509
 510 # vim: set foldmethod=marker: