testasmcomp/Makefile

   1 #########################################################################
   2 #                                                                       #
   3 #                            Objective Caml                             #
   4 #                                                                       #
   5 #            Xavier Leroy, projet Cristal, INRIA Rocquencourt           #
   6 #                                                                       #
   7 #   Copyright 1999 Institut National de Recherche en Informatique et    #
   8 #   en Automatique.  All rights reserved.  This file is distributed     #
   9 #   under the terms of the Q Public License version 1.0.                #
  10 #                                                                       #
  11 #########################################################################
  12
  13 # $Id$
  14
  15 include ../config/Makefile
  16
  17 CAMLC=../boot/ocamlrun ../boot/ocamlc -I ../boot
  18 COMPFLAGS=$(INCLUDES) -g
  19 LINKFLAGS=-g
  20 CAMLYACC=../boot/ocamlyacc
  21 YACCFLAGS=
  22 CAMLLEX=../boot/ocamlrun ../boot/ocamllex
  23 CAMLDEP=../boot/ocamlrun ../tools/ocamldep
  24 DEPFLAGS=$(INCLUDES)
  25 CAMLRUN=../boot/ocamlrun
  26
  27 CODEGEN=./codegen
  28 CC=$(NATIVECC)
  29 CFLAGS=$(NATIVECCCOMPOPTS) -g
  30
  31 PROGS=fib.out tak.out quicksort.out quicksort2.out soli.out integr.out \
  32       arith.out checkbound.out
  33
  34 all: codegen $(PROGS)
  35
  36 INCLUDES=-I ../utils -I ../typing -I ../asmcomp
  37
  38 OTHEROBJS=../utils/misc.cmo ../utils/config.cmo ../utils/tbl.cmo \
  39   ../utils/clflags.cmo ../utils/ccomp.cmo \
  40   ../utils/config.cmo ../utils/clflags.cmo ../utils/warnings.cmo \
  41   ../utils/consistbl.cmo \
  42   ../parsing/linenum.cmo ../parsing/location.cmo \
  43   ../typing/ident.cmo ../typing/path.cmo ../typing/types.cmo \
  44   ../typing/btype.cmo ../typing/subst.cmo ../typing/primitive.cmo \
  45   ../typing/predef.cmo ../typing/datarepr.cmo ../typing/env.cmo \
  46   ../bytecomp/lambda.cmo ../bytecomp/switch.cmo \
  47   ../asmcomp/arch.cmo ../asmcomp/cmm.cmo ../asmcomp/printcmm.cmo \
  48   ../asmcomp/clambda.cmo ../asmcomp/compilenv.cmo \
  49   ../asmcomp/reg.cmo ../asmcomp/mach.cmo ../asmcomp/proc.cmo \
  50   ../asmcomp/closure.cmo ../asmcomp/cmmgen.cmo \
  51   ../asmcomp/printmach.cmo \
  52   ../asmcomp/selectgen.cmo ../asmcomp/selection.cmo ../asmcomp/comballoc.cmo \
  53   ../asmcomp/liveness.cmo ../asmcomp/spill.cmo ../asmcomp/split.cmo \
  54   ../asmcomp/interf.cmo ../asmcomp/coloring.cmo \
  55   ../asmcomp/reloadgen.cmo ../asmcomp/reload.cmo \
  56   ../asmcomp/linearize.cmo ../asmcomp/schedgen.cmo ../asmcomp/scheduling.cmo \
  57   ../asmcomp/printlinear.cmo ../asmcomp/emitaux.cmo \
  58   ../asmcomp/emit.cmo ../asmcomp/asmgen.cmo
  59
  60 OBJS=parsecmmaux.cmo parsecmm.cmo lexcmm.cmo main.cmo
  61
  62 codegen: $(OTHEROBJS) $(OBJS)
  63         $(CAMLC) $(LINKFLAGS) -o codegen $(OTHEROBJS) $(OBJS)
  64 clean::
  65         rm -f codegen
  66
  67 # The parser
  68
  69 parsecmm.mli parsecmm.ml: parsecmm.mly
  70         $(CAMLYACC) $(YACCFLAGS) parsecmm.mly
  71
  72 clean::
  73         rm -f parsecmm.mli parsecmm.ml parsecmm.output
  74
  75 beforedepend:: parsecmm.mli parsecmm.ml
  76
  77 # The lexer
  78
  79 lexcmm.ml: lexcmm.mll
  80         $(CAMLLEX) lexcmm.mll
  81
  82 clean::
  83         rm -f lexcmm.ml
  84
  85 beforedepend:: lexcmm.ml
  86
  87 # The test programs
  88
  89 $(PROGS:.out=.o): codegen
  90
  91 fib.out: main.c fib.o $(ARCH).o
  92         $(CC) $(CFLAGS) -o fib.out -DINT_INT -DFUN=fib main.c fib.o $(ARCH).o
  93
  94 tak.out: main.c tak.o $(ARCH).o
  95         $(CC) $(CFLAGS) -o tak.out -DUNIT_INT -DFUN=takmain main.c tak.o $(ARCH).o
  96
  97 quicksort.out: main.c quicksort.o $(ARCH).o
  98         $(CC) $(CFLAGS) -o quicksort.out -DSORT -DFUN=quicksort main.c quicksort.o $(ARCH).o
  99
 100 quicksort2.out: main.c quicksort2.o $(ARCH).o
 101         $(CC) $(CFLAGS) -o quicksort2.out -DSORT -DFUN=quicksort main.c quicksort2.o $(ARCH).o
 102
 103 soli.out: main.c soli.o $(ARCH).o
 104         $(CC) $(CFLAGS) -o soli.out -DUNIT_INT -DFUN=solitaire main.c soli.o $(ARCH).o
 105
 106 integr.out: main.c integr.o $(ARCH).o
 107         $(CC) $(CFLAGS) -o integr.out -DINT_FLOAT -DFUN=test main.c integr.o $(ARCH).o
 108
 109 tagged-fib.out: main.c tagged-fib.o $(ARCH).o
 110         $(CC) $(CFLAGS) -o tagged-fib.out -DINT_INT -DFUN=fib main.c tagged-fib.o $(ARCH).o
 111
 112 tagged-tak.out: main.c tagged-tak.o $(ARCH).o
 113         $(CC) $(CFLAGS) -o tagged-tak.out -DUNIT_INT -DFUN=takmain main.c tagged-tak.o $(ARCH).o
 114
 115 tagged-quicksort.out: main.c tagged-quicksort.o $(ARCH).o
 116         $(CC) $(CFLAGS) -o tagged-quicksort.out -DSORT -DFUN=quicksort main.c tagged-quicksort.o $(ARCH).o
 117
 118 tagged-integr.out: main.c tagged-integr.o $(ARCH).o
 119         $(CC) $(CFLAGS) -o tagged-integr.out -DINT_FLOAT -DFUN=test main.c tagged-integr.o $(ARCH).o
 120
 121 arith.out: mainarith.c arith.o $(ARCH).o
 122         $(CC) $(CFLAGS) -o arith.out mainarith.c arith.o $(ARCH).o
 123
 124 checkbound.out: main.c checkbound.o $(ARCH).o
 125         $(CC) $(CFLAGS) -o checkbound.out -DCHECKBOUND main.c checkbound.o $(ARCH).o
 126
 127 # The runtime environment
 128
 129 power.o: power-$(SYSTEM).o
 130         cp power-$(SYSTEM).o power.o
 131
 132 .SUFFIXES:
 133 .SUFFIXES: .cmm .c .o .S .ml .mli .cmo .cmi .s
 134
 135 .ml.cmo:
 136         $(CAMLC) $(COMPFLAGS) -c $<
 137
 138 .mli.cmi:
 139         $(CAMLC) $(COMPFLAGS) -c $<
 140
 141 .cmm.o:
 142         $(CAMLRUN) $(CODEGEN) $*.cmm > $*.s
 143         $(AS) $(ASFLAGS) -o $*.o $*.s
 144
 145 .S.o:
 146         $(ASPP) $(ASPPFLAGS) -o $*.o $*.S
 147
 148 .s.o:
 149         $(ASPP) $(ASPPFLAGS) -o $*.o $*.s
 150
 151 clean::
 152         rm -f *.out *.cm[io] *.s *.o *~
 153
 154 $(PROGS:.out=.o): $(CODEGEN)
 155
 156 depend: beforedepend
 157         $(CAMLDEP) $(DEPFLAGS) *.mli *.ml > .depend
 158
 159 include .depend