Skip to content

Commit cc0f32b

Browse files
committed
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1 parent f07e6fe commit cc0f32b

File tree

853 files changed

+3024
-911
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

853 files changed

+3024
-911
lines changed

.depend

Lines changed: 28 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -413,8 +413,8 @@ asmcomp/selectgen.cmi: asmcomp/arch.cmo asmcomp/cmm.cmi typing/ident.cmi \
413413
asmcomp/selection.cmi: asmcomp/cmm.cmi asmcomp/mach.cmi
414414
asmcomp/spill.cmi: asmcomp/mach.cmi
415415
asmcomp/split.cmi: asmcomp/mach.cmi
416-
asmcomp/arch.cmo: utils/config.cmi utils/formatmsg.cmi
417-
asmcomp/arch.cmx: utils/config.cmx utils/formatmsg.cmx
416+
asmcomp/arch.cmo: utils/formatmsg.cmi utils/nativeint.cmi
417+
asmcomp/arch.cmx: utils/formatmsg.cmx utils/nativeint.cmx
418418
asmcomp/asmgen.cmo: utils/clflags.cmo asmcomp/closure.cmi asmcomp/cmm.cmi \
419419
asmcomp/cmmgen.cmi asmcomp/coloring.cmi asmcomp/comballoc.cmi \
420420
utils/config.cmi asmcomp/emit.cmi asmcomp/emitaux.cmi utils/formatmsg.cmi \
@@ -493,13 +493,13 @@ asmcomp/compilenv.cmo: asmcomp/clambda.cmi utils/config.cmi typing/env.cmi \
493493
utils/formatmsg.cmi typing/ident.cmi utils/misc.cmi asmcomp/compilenv.cmi
494494
asmcomp/compilenv.cmx: asmcomp/clambda.cmx utils/config.cmx typing/env.cmx \
495495
utils/formatmsg.cmx typing/ident.cmx utils/misc.cmx asmcomp/compilenv.cmi
496-
asmcomp/emit.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/compilenv.cmi \
497-
utils/config.cmi asmcomp/emitaux.cmi asmcomp/linearize.cmi \
498-
parsing/location.cmi asmcomp/mach.cmi utils/misc.cmi utils/nativeint.cmi \
496+
asmcomp/emit.cmo: asmcomp/arch.cmo utils/clflags.cmo asmcomp/cmm.cmi \
497+
asmcomp/compilenv.cmi utils/config.cmi asmcomp/emitaux.cmi \
498+
asmcomp/linearize.cmi asmcomp/mach.cmi utils/misc.cmi utils/nativeint.cmi \
499499
asmcomp/proc.cmi asmcomp/reg.cmi asmcomp/emit.cmi
500-
asmcomp/emit.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/compilenv.cmx \
501-
utils/config.cmx asmcomp/emitaux.cmx asmcomp/linearize.cmx \
502-
parsing/location.cmx asmcomp/mach.cmx utils/misc.cmx utils/nativeint.cmx \
500+
asmcomp/emit.cmx: asmcomp/arch.cmx utils/clflags.cmx asmcomp/cmm.cmx \
501+
asmcomp/compilenv.cmx utils/config.cmx asmcomp/emitaux.cmx \
502+
asmcomp/linearize.cmx asmcomp/mach.cmx utils/misc.cmx utils/nativeint.cmx \
503503
asmcomp/proc.cmx asmcomp/reg.cmx asmcomp/emit.cmi
504504
asmcomp/emitaux.cmo: utils/nativeint.cmi asmcomp/emitaux.cmi
505505
asmcomp/emitaux.cmx: utils/nativeint.cmx asmcomp/emitaux.cmi
@@ -521,6 +521,12 @@ asmcomp/mach.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi utils/nativeint.cmi \
521521
asmcomp/reg.cmi asmcomp/mach.cmi
522522
asmcomp/mach.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx utils/nativeint.cmx \
523523
asmcomp/reg.cmx asmcomp/mach.cmi
524+
asmcomp/printclambda.cmo: parsing/asttypes.cmi utils/formatmsg.cmi \
525+
typing/ident.cmi typing/primitive.cmi bytecomp/printlambda.cmi \
526+
typing/types.cmi
527+
asmcomp/printclambda.cmx: parsing/asttypes.cmi utils/formatmsg.cmx \
528+
typing/ident.cmx typing/primitive.cmx bytecomp/printlambda.cmx \
529+
typing/types.cmx
524530
asmcomp/printcmm.cmo: asmcomp/cmm.cmi utils/formatmsg.cmi typing/ident.cmi \
525531
utils/nativeint.cmi asmcomp/printcmm.cmi
526532
asmcomp/printcmm.cmx: asmcomp/cmm.cmx utils/formatmsg.cmx typing/ident.cmx \
@@ -535,16 +541,18 @@ asmcomp/printmach.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi utils/formatmsg.cmi \
535541
asmcomp/printmach.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx utils/formatmsg.cmx \
536542
asmcomp/mach.cmx utils/nativeint.cmx asmcomp/printcmm.cmx \
537543
asmcomp/proc.cmx asmcomp/reg.cmx asmcomp/printmach.cmi
538-
asmcomp/proc.cmo: asmcomp/arch.cmo utils/ccomp.cmi utils/clflags.cmo \
539-
asmcomp/cmm.cmi asmcomp/mach.cmi utils/misc.cmi asmcomp/reg.cmi \
544+
asmcomp/proc.cmo: asmcomp/arch.cmo utils/ccomp.cmi asmcomp/cmm.cmi \
545+
utils/formatmsg.cmi asmcomp/mach.cmi utils/misc.cmi asmcomp/reg.cmi \
540546
asmcomp/proc.cmi
541-
asmcomp/proc.cmx: asmcomp/arch.cmx utils/ccomp.cmx utils/clflags.cmx \
542-
asmcomp/cmm.cmx asmcomp/mach.cmx utils/misc.cmx asmcomp/reg.cmx \
547+
asmcomp/proc.cmx: asmcomp/arch.cmx utils/ccomp.cmx asmcomp/cmm.cmx \
548+
utils/formatmsg.cmx asmcomp/mach.cmx utils/misc.cmx asmcomp/reg.cmx \
543549
asmcomp/proc.cmi
544550
asmcomp/reg.cmo: asmcomp/cmm.cmi asmcomp/reg.cmi
545551
asmcomp/reg.cmx: asmcomp/cmm.cmx asmcomp/reg.cmi
546-
asmcomp/reload.cmo: asmcomp/reloadgen.cmi asmcomp/reload.cmi
547-
asmcomp/reload.cmx: asmcomp/reloadgen.cmx asmcomp/reload.cmi
552+
asmcomp/reload.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/mach.cmi \
553+
asmcomp/reg.cmi asmcomp/reloadgen.cmi asmcomp/reload.cmi
554+
asmcomp/reload.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/mach.cmx \
555+
asmcomp/reg.cmx asmcomp/reloadgen.cmx asmcomp/reload.cmi
548556
asmcomp/reloadgen.cmo: asmcomp/mach.cmi utils/misc.cmi asmcomp/reg.cmi \
549557
asmcomp/reloadgen.cmi
550558
asmcomp/reloadgen.cmx: asmcomp/mach.cmx utils/misc.cmx asmcomp/reg.cmx \
@@ -553,22 +561,20 @@ asmcomp/schedgen.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/linearize.cmi \
553561
asmcomp/mach.cmi utils/misc.cmi asmcomp/reg.cmi asmcomp/schedgen.cmi
554562
asmcomp/schedgen.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/linearize.cmx \
555563
asmcomp/mach.cmx utils/misc.cmx asmcomp/reg.cmx asmcomp/schedgen.cmi
556-
asmcomp/scheduling.cmo: asmcomp/arch.cmo asmcomp/mach.cmi \
557-
asmcomp/schedgen.cmi asmcomp/scheduling.cmi
558-
asmcomp/scheduling.cmx: asmcomp/arch.cmx asmcomp/mach.cmx \
559-
asmcomp/schedgen.cmx asmcomp/scheduling.cmi
564+
asmcomp/scheduling.cmo: asmcomp/schedgen.cmi asmcomp/scheduling.cmi
565+
asmcomp/scheduling.cmx: asmcomp/schedgen.cmx asmcomp/scheduling.cmi
560566
asmcomp/selectgen.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi typing/ident.cmi \
561567
asmcomp/mach.cmi utils/misc.cmi utils/nativeint.cmi asmcomp/proc.cmi \
562568
asmcomp/reg.cmi utils/tbl.cmi asmcomp/selectgen.cmi
563569
asmcomp/selectgen.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx typing/ident.cmx \
564570
asmcomp/mach.cmx utils/misc.cmx utils/nativeint.cmx asmcomp/proc.cmx \
565571
asmcomp/reg.cmx utils/tbl.cmx asmcomp/selectgen.cmi
566572
asmcomp/selection.cmo: asmcomp/arch.cmo asmcomp/cmm.cmi asmcomp/mach.cmi \
567-
utils/misc.cmi asmcomp/reg.cmi asmcomp/selectgen.cmi \
568-
asmcomp/selection.cmi
573+
utils/misc.cmi utils/nativeint.cmi asmcomp/proc.cmi asmcomp/reg.cmi \
574+
asmcomp/selectgen.cmi asmcomp/selection.cmi
569575
asmcomp/selection.cmx: asmcomp/arch.cmx asmcomp/cmm.cmx asmcomp/mach.cmx \
570-
utils/misc.cmx asmcomp/reg.cmx asmcomp/selectgen.cmx \
571-
asmcomp/selection.cmi
576+
utils/misc.cmx utils/nativeint.cmx asmcomp/proc.cmx asmcomp/reg.cmx \
577+
asmcomp/selectgen.cmx asmcomp/selection.cmi
572578
asmcomp/spill.cmo: asmcomp/mach.cmi asmcomp/proc.cmi asmcomp/reg.cmi \
573579
asmcomp/spill.cmi
574580
asmcomp/spill.cmx: asmcomp/mach.cmx asmcomp/proc.cmx asmcomp/reg.cmx \

0 commit comments

Comments
 (0)