lib/Coqlib.vo lib/Coqlib.glob: lib/Coqlib.v lib/Vlib.vo
lib/Floats.vo lib/Floats.glob: lib/Floats.v lib/Coqlib.vo lib/Integers.vo
lib/Inclusion.vo lib/Inclusion.glob: lib/Inclusion.v
lib/Integers.vo lib/Integers.glob: lib/Integers.v lib/Coqlib.vo
lib/Iteration.vo lib/Iteration.glob: lib/Iteration.v lib/Coqlib.vo
lib/Lattice.vo lib/Lattice.glob: lib/Lattice.v lib/Coqlib.vo lib/Maps.vo
lib/Maps.vo lib/Maps.glob: lib/Maps.v lib/Coqlib.vo
lib/Mergesort.vo lib/Mergesort.glob: lib/Mergesort.v
lib/Ordered.vo lib/Ordered.glob: lib/Ordered.v lib/Coqlib.vo lib/Maps.vo
lib/Parmov.vo lib/Parmov.glob: lib/Parmov.v lib/Coqlib.vo
lib/UnionFind.vo lib/UnionFind.glob: lib/UnionFind.v lib/Coqlib.vo
lib/Vlib.vo lib/Vlib.glob: lib/Vlib.v
common/Ast.vo common/Ast.glob: common/Ast.v lib/Coqlib.vo common/Errors.vo lib/Integers.vo lib/Floats.vo
common/Errors.vo common/Errors.glob: common/Errors.v lib/Coqlib.vo
common/Events.vo common/Events.glob: common/Events.v lib/Coqlib.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Libtactics.vo
common/Globalenvs.vo common/Globalenvs.glob: common/Globalenvs.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo
common/Libtactics.vo common/Libtactics.glob: common/Libtactics.v
common/Mem.vo common/Mem.glob: common/Mem.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo common/Pointers.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Libtactics.vo
common/Memaux.vo common/Memaux.glob: common/Memaux.v lib/Coqlib.vo lib/Integers.vo common/Values.vo common/Pointers.vo common/Mem.vo common/Ast.vo lib/Maps.vo common/Libtactics.vo
common/Memeq.vo common/Memeq.glob: common/Memeq.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo common/Pointers.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Libtactics.vo
common/Pointers.vo common/Pointers.glob: common/Pointers.v lib/Coqlib.vo lib/Integers.vo
common/Simulations.vo common/Simulations.glob: common/Simulations.v lib/Coqlib.vo common/Events.vo common/Values.vo common/Libtactics.vo
common/Smallstep.vo common/Smallstep.glob: common/Smallstep.v lib/Coqlib.vo common/Events.vo common/Values.vo common/Simulations.vo common/Libtactics.vo
common/Switch.vo common/Switch.glob: common/Switch.v lib/Coqlib.vo lib/Integers.vo
common/TSOmachine.vo common/TSOmachine.glob: common/TSOmachine.v lib/Coqlib.vo lib/Integers.vo common/Values.vo common/Pointers.vo common/Events.vo common/Mem.vo common/Memaux.vo common/Memeq.vo common/Ast.vo common/Globalenvs.vo lib/Maps.vo common/Simulations.vo common/Libtactics.vo
common/TSOsimulation.vo common/TSOsimulation.glob: common/TSOsimulation.v lib/Coqlib.vo lib/Integers.vo common/Values.vo common/Pointers.vo common/Events.vo common/Mem.vo common/Ast.vo common/Globalenvs.vo lib/Maps.vo common/Simulations.vo lib/Floats.vo common/TSOmachine.vo common/Memeq.vo common/Traces.vo common/Libtactics.vo
common/Traces.vo common/Traces.glob: common/Traces.v lib/Coqlib.vo common/Values.vo common/Events.vo common/Ast.vo lib/Maps.vo common/Simulations.vo common/TSOmachine.vo common/Libtactics.vo
common/Values.vo common/Values.glob: common/Values.v lib/Coqlib.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo lib/Vlib.vo
backend/Allocation.vo backend/Allocation.glob: backend/Allocation.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo lib/Lattice.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/RTLtyping.vo backend/Kildall.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/Coloring.vo backend/LTL.vo
backend/Allocproof.vo backend/Allocproof.glob: backend/Allocproof.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/RTLtyping.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/Coloring.vo backend/Coloringproof.vo backend/Allocation.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo common/Traces.vo common/Libtactics.vo backend/LTL.vo
backend/Alloctyping.vo backend/Alloctyping.glob: backend/Alloctyping.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Locations.vo backend/LTL.vo backend/Coloring.vo backend/Coloringproof.vo backend/Allocation.vo backend/Allocproof.vo backend/RTLtyping.vo backend/LTLtyping.vo $(ARCH)/Conventions.vo
backend/Bounds.vo backend/Bounds.glob: backend/Bounds.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo backend/Linear.vo backend/Lineartyping.vo $(ARCH)/Conventions.vo
backend/CSE.vo backend/CSE.glob: backend/CSE.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo
backend/CSEproof.vo backend/CSEproof.glob: backend/CSEproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo backend/CSE.vo common/Simulations.vo common/TSOmachine.vo common/Traces.vo common/TSOsimulation.vo common/Libtactics.vo
backend/Cminor.vo backend/Cminor.glob: backend/Cminor.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Events.vo common/Values.vo common/Globalenvs.vo common/Switch.vo common/TSOmachine.vo cfrontend/Cminorops.vo common/Libtactics.vo
backend/CminorP.vo backend/CminorP.glob: backend/CminorP.v lib/Coqlib.vo common/Libtactics.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Smallstep.vo backend/Cminor.vo $(ARCH)/Op.vo $(ARCH)/SelectOp.vo cfrontend/Cminorops.vo common/Switch.vo
backend/CminorSel.vo backend/CminorSel.glob: backend/CminorSel.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Events.vo common/Values.vo common/Mem.vo backend/Cminor.vo $(ARCH)/Op.vo common/Globalenvs.vo common/Switch.vo common/TSOmachine.vo common/Smallstep.vo common/Libtactics.vo
backend/Coloring.vo backend/Coloring.glob: backend/Coloring.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/RTLtyping.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/InterfGraph.vo
backend/Coloringproof.vo backend/Coloringproof.glob: backend/Coloringproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/RTLtyping.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/InterfGraph.vo backend/Coloring.vo
backend/Constprop.vo backend/Constprop.glob: backend/Constprop.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo lib/Lattice.vo backend/Kildall.vo $(ARCH)/ConstpropOp.vo
backend/Constpropproof.vo backend/Constpropproof.glob: backend/Constpropproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Events.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo lib/Lattice.vo backend/Kildall.vo $(ARCH)/ConstpropOp.vo backend/Constprop.vo $(ARCH)/ConstpropOpproof.vo common/Simulations.vo common/TSOmachine.vo common/TSOsimulation.vo common/Traces.vo common/Libtactics.vo
backend/Fenceelim.vo backend/Fenceelim.glob: backend/Fenceelim.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo lib/Lattice.vo
backend/Fenceelim2.vo backend/Fenceelim2.glob: backend/Fenceelim2.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo lib/Lattice.vo
backend/Fenceelim2proof.vo backend/Fenceelim2proof.glob: backend/Fenceelim2proof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Memaux.vo common/Memeq.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo backend/Fenceelim2.vo common/Simulations.vo common/TSOmachine.vo common/TSOsimulation.vo lib/Lattice.vo common/Traces.vo common/Libtactics.vo
backend/Fenceelimproof.vo backend/Fenceelimproof.glob: backend/Fenceelimproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo backend/Fenceelim.vo common/Simulations.vo common/TSOmachine.vo common/TSOsimulation.vo common/Traces.vo lib/Lattice.vo common/Libtactics.vo
backend/Fenceintro2.vo backend/Fenceintro2.glob: backend/Fenceintro2.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Kildall.vo lib/Lattice.vo
backend/Fenceintro2proof.vo backend/Fenceintro2proof.glob: backend/Fenceintro2proof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo backend/Fenceintro2.vo common/Simulations.vo common/TSOmachine.vo common/TSOsimulation.vo common/Traces.vo common/Libtactics.vo
backend/InterfGraph.vo backend/InterfGraph.glob: backend/InterfGraph.v lib/Coqlib.vo lib/Maps.vo lib/Ordered.vo backend/Registers.vo backend/Locations.vo
backend/Kildall.vo backend/Kildall.glob: backend/Kildall.v lib/Coqlib.vo lib/Iteration.vo lib/Maps.vo lib/Lattice.vo lib/Ordered.vo
backend/LTL.vo backend/LTL.glob: backend/LTL.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Events.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo common/TSOmachine.vo common/Libtactics.vo
backend/LTLin.vo backend/LTLin.glob: backend/LTLin.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo $(ARCH)/Conventions.vo common/TSOmachine.vo common/Libtactics.vo
backend/LTLintyping.vo backend/LTLintyping.glob: backend/LTLintyping.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTLin.vo backend/LTLtyping.vo $(ARCH)/Conventions.vo
backend/LTLtyping.vo backend/LTLtyping.glob: backend/LTLtyping.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo $(ARCH)/Conventions.vo common/TSOmachine.vo
backend/Linear.vo backend/Linear.glob: backend/Linear.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo $(ARCH)/Conventions.vo common/TSOmachine.vo common/Libtactics.vo
backend/Linearize.vo backend/Linearize.glob: backend/Linearize.v lib/Coqlib.vo lib/Maps.vo lib/Ordered.vo common/Ast.vo common/Values.vo common/Globalenvs.vo common/Errors.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/LTLin.vo backend/Kildall.vo lib/Lattice.vo
backend/Linearizeproof.vo backend/Linearizeproof.glob: backend/Linearizeproof.v lib/Coqlib.vo lib/Maps.vo lib/Ordered.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Errors.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/LTLtyping.vo backend/LTLin.vo backend/Linearize.vo lib/Lattice.vo common/TSOsimulation.vo common/Simulations.vo common/TSOmachine.vo common/Traces.vo common/Libtactics.vo
backend/Linearizetyping.vo backend/Linearizetyping.glob: backend/Linearizetyping.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/LTLtyping.vo backend/LTLin.vo backend/Linearize.vo backend/LTLintyping.vo $(ARCH)/Conventions.vo
backend/Lineartyping.vo backend/Lineartyping.glob: backend/Lineartyping.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo backend/Linear.vo $(ARCH)/Conventions.vo
backend/Locations.vo backend/Locations.glob: backend/Locations.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo common/Values.vo $(ARCH)/Machregs.vo
backend/MMperthreadsimdef.vo backend/MMperthreadsimdef.glob: backend/MMperthreadsimdef.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Memeq.vo common/Simulations.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo
backend/MMperthreadsimproof.vo backend/MMperthreadsimproof.glob: backend/MMperthreadsimproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Memeq.vo common/Simulations.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo backend/MMperthreadsimdef.vo $(ARCH)/$(VARIANT)/Stacklayout.vo $(ARCH)/Machregs.vo $(ARCH)/Op.vo backend/Mach.vo backend/Machabstr.vo backend/Machconcr.vo backend/Machtyping.vo backend/MMproofaux.vo $(ARCH)/Asm.vo $(ARCH)/Asmgenretaddr.vo
backend/MMproof.vo backend/MMproof.glob: backend/MMproof.v lib/Coqlib.vo common/Globalenvs.vo backend/Mach.vo backend/Machabstr.vo backend/Machconcr.vo backend/Machtyping.vo common/Traces.vo backend/MMtsosimproof.vo backend/MMperthreadsimproof.vo
backend/MMproofaux.vo backend/MMproofaux.glob: backend/MMproofaux.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Memeq.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Asm.vo common/Libtactics.vo
backend/MMtsoaux.vo backend/MMtsoaux.glob: backend/MMtsoaux.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Memeq.vo common/TSOmachine.vo common/TSOsimulation.vo common/Simulations.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo backend/MMperthreadsimdef.vo
backend/MMtsosimproof.vo backend/MMtsosimproof.glob: backend/MMtsosimproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Memeq.vo common/TSOmachine.vo common/TSOsimulation.vo common/Simulations.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo backend/MMperthreadsimdef.vo backend/MMtsoaux.vo common/Traces.vo
backend/Mach.vo backend/Mach.glob: backend/Mach.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Mem.vo common/Events.vo common/Pointers.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo
backend/Machabstr.vo backend/Machabstr.glob: backend/Machabstr.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo common/Mem.vo lib/Integers.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/Mach.vo $(ARCH)/$(VARIANT)/Stacklayout.vo common/TSOmachine.vo common/Libtactics.vo
backend/Machconcr.vo backend/Machconcr.glob: backend/Machconcr.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/Mach.vo $(ARCH)/$(VARIANT)/Stacklayout.vo $(ARCH)/Asm.vo $(ARCH)/Asmgenretaddr.vo common/Simulations.vo common/Mem.vo common/TSOmachine.vo common/Libtactics.vo
backend/Machtyping.vo backend/Machtyping.glob: backend/Machtyping.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo common/Mem.vo lib/Integers.vo common/Values.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/Mach.vo common/Libtactics.vo $(ARCH)/$(VARIANT)/Stacklayout.vo backend/Machabstr.vo
backend/Parallelmove.vo backend/Parallelmove.glob: backend/Parallelmove.v lib/Coqlib.vo lib/Parmov.vo common/Values.vo common/Events.vo common/Ast.vo backend/Locations.vo $(ARCH)/Conventions.vo
backend/RTL.vo backend/RTL.glob: backend/RTL.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Events.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo common/TSOmachine.vo common/Libtactics.vo backend/CminorP.vo
backend/RTLgen.vo backend/RTLgen.glob: backend/RTLgen.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Switch.vo $(ARCH)/Op.vo backend/Registers.vo backend/CminorSel.vo backend/RTL.vo
backend/RTLgenproof.vo backend/RTLgenproof.glob: backend/RTLgenproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Switch.vo backend/Registers.vo backend/Cminor.vo $(ARCH)/Op.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo common/Errors.vo $(ARCH)/Conventions.vo backend/CminorSel.vo backend/CminorP.vo backend/RTL.vo backend/RTLgen.vo backend/RTLgenspec.vo common/Traces.vo common/Smallstep.vo common/Libtactics.vo
backend/RTLgenspec.vo backend/RTLgenspec.glob: backend/RTLgenspec.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Events.vo common/Globalenvs.vo common/Switch.vo $(ARCH)/Op.vo backend/Registers.vo backend/CminorSel.vo backend/RTL.vo backend/RTLgen.vo
backend/RTLtyping.vo backend/RTLtyping.glob: backend/RTLtyping.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Registers.vo common/Globalenvs.vo common/Values.vo common/Mem.vo lib/Integers.vo common/Events.vo backend/RTL.vo $(ARCH)/Conventions.vo common/Libtactics.vo
backend/Registers.vo backend/Registers.glob: backend/Registers.v lib/Coqlib.vo common/Ast.vo lib/Maps.vo lib/Ordered.vo
backend/Reload.vo backend/Reload.glob: backend/Reload.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Values.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTLin.vo $(ARCH)/Conventions.vo backend/Parallelmove.vo backend/Linear.vo
backend/Reloadproof.vo backend/Reloadproof.glob: backend/Reloadproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo common/Simulations.vo common/TSOmachine.vo common/TSOsimulation.vo backend/LTLin.vo backend/LTLintyping.vo backend/Linear.vo backend/Parallelmove.vo backend/Reload.vo common/Traces.vo common/Libtactics.vo
backend/Reloadtyping.vo backend/Reloadtyping.glob: backend/Reloadtyping.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTLin.vo backend/LTLintyping.vo backend/Linear.vo backend/Lineartyping.vo $(ARCH)/Conventions.vo backend/Parallelmove.vo backend/Reload.vo backend/Reloadproof.vo
backend/Selection.vo backend/Selection.glob: backend/Selection.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo backend/Cminor.vo cfrontend/Cminorops.vo $(ARCH)/Op.vo backend/CminorSel.vo $(ARCH)/SelectOp.vo
backend/Selectionproof.vo backend/Selectionproof.glob: backend/Selectionproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/Smallstep.vo backend/Cminor.vo backend/CminorP.vo $(ARCH)/Op.vo backend/CminorSel.vo $(ARCH)/SelectOp.vo cfrontend/Cminorops.vo backend/Selection.vo $(ARCH)/SelectOpproof.vo common/Traces.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo common/Libtactics.vo
backend/Stacking.vo backend/Stacking.glob: backend/Stacking.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo lib/Integers.vo $(ARCH)/Op.vo backend/RTL.vo backend/Locations.vo backend/Linear.vo backend/Bounds.vo backend/Mach.vo $(ARCH)/Conventions.vo $(ARCH)/$(VARIANT)/Stacklayout.vo common/Mem.vo
backend/Stackingproof.vo backend/Stackingproof.glob: backend/Stackingproof.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo lib/Integers.vo common/Pointers.vo common/Values.vo $(ARCH)/Op.vo common/Mem.vo common/Events.vo common/Globalenvs.vo backend/Locations.vo backend/Linear.vo backend/Lineartyping.vo backend/Mach.vo backend/Machabstr.vo backend/Bounds.vo $(ARCH)/Conventions.vo $(ARCH)/$(VARIANT)/Stacklayout.vo backend/Stacking.vo common/TSOmachine.vo common/Simulations.vo common/TSOsimulation.vo common/Traces.vo common/Libtactics.vo
backend/Stackingtyping.vo backend/Stackingtyping.glob: backend/Stackingtyping.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo lib/Integers.vo common/Ast.vo $(ARCH)/Op.vo backend/Locations.vo $(ARCH)/Conventions.vo backend/Linear.vo backend/Lineartyping.vo backend/Mach.vo backend/Machtyping.vo backend/Bounds.vo $(ARCH)/$(VARIANT)/Stacklayout.vo backend/Stacking.vo backend/Stackingproof.vo
backend/Tunneling.vo backend/Tunneling.glob: backend/Tunneling.v lib/Coqlib.vo lib/Maps.vo lib/UnionFind.vo common/Ast.vo common/Values.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo
backend/Tunnelingproof.vo backend/Tunnelingproof.glob: backend/Tunnelingproof.v lib/Coqlib.vo lib/Maps.vo lib/UnionFind.vo common/Ast.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/Tunneling.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo common/Traces.vo common/Libtactics.vo
backend/Tunnelingtyping.vo backend/Tunnelingtyping.glob: backend/Tunnelingtyping.v lib/Coqlib.vo lib/Maps.vo lib/UnionFind.vo common/Ast.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/LTL.vo backend/LTLtyping.vo backend/Tunneling.vo backend/Tunnelingproof.vo
cfrontend/Cminorgen.vo cfrontend/Cminorgen.glob: cfrontend/Cminorgen.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo lib/Ordered.vo common/Ast.vo lib/Integers.vo common/Mem.vo cfrontend/Csharpminor.vo $(ARCH)/Op.vo cfrontend/Cminorops.vo backend/Cminor.vo
cfrontend/Cminorgenproof.vo cfrontend/Cminorgenproof.glob: cfrontend/Cminorgenproof.v lib/Coqlib.vo common/Errors.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo cfrontend/Csharpminor.vo cfrontend/Cstacked.vo $(ARCH)/Op.vo backend/Cminor.vo cfrontend/Cminorops.vo cfrontend/Cminorgen.vo common/Simulations.vo common/TSOmachine.vo common/TSOsimulation.vo common/Traces.vo common/Libtactics.vo common/Switch.vo
cfrontend/Cminorops.vo cfrontend/Cminorops.glob: cfrontend/Cminorops.v lib/Coqlib.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Libtactics.vo common/Ast.vo common/Events.vo
cfrontend/Csharpminor.vo cfrontend/Csharpminor.glob: cfrontend/Csharpminor.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/TSOmachine.vo lib/Mergesort.vo cfrontend/Cminorops.vo common/Libtactics.vo
cfrontend/Cshmgen.vo cfrontend/Cshmgen.glob: cfrontend/Cshmgen.v lib/Coqlib.vo common/Errors.vo lib/Integers.vo lib/Floats.vo common/Ast.vo clightTSO/clight_src/Csyntax.vo backend/Cminor.vo cfrontend/Cminorops.vo cfrontend/Csharpminor.vo
cfrontend/Cshmgenproof1.vo cfrontend/Cshmgenproof1.glob: cfrontend/Cshmgenproof1.v lib/Coqlib.vo common/Libtactics.vo common/Errors.vo lib/Maps.vo lib/Integers.vo lib/Floats.vo common/Ast.vo common/Values.vo common/Events.vo common/Mem.vo common/Globalenvs.vo common/Pointers.vo clightTSO/clight_src/Csyntax.vo clightTSO/clight_src/Csem.vo cfrontend/Ctyping.vo cfrontend/Cminorops.vo cfrontend/Csharpminor.vo cfrontend/Cshmgen.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo lib/Mergesort.vo
cfrontend/Cshmgenproof2.vo cfrontend/Cshmgenproof2.glob: cfrontend/Cshmgenproof2.v lib/Coqlib.vo common/Libtactics.vo common/Errors.vo lib/Maps.vo lib/Integers.vo lib/Floats.vo common/Ast.vo common/Values.vo common/Events.vo common/Mem.vo common/Globalenvs.vo common/Pointers.vo clightTSO/clight_src/Csyntax.vo clightTSO/clight_src/Csem.vo cfrontend/Ctyping.vo cfrontend/Cminorops.vo cfrontend/Csharpminor.vo cfrontend/Cshmgen.vo cfrontend/Cshmgenproof1.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo
cfrontend/Cshmgenproof3.vo cfrontend/Cshmgenproof3.glob: cfrontend/Cshmgenproof3.v lib/Coqlib.vo common/Libtactics.vo common/Errors.vo lib/Maps.vo lib/Integers.vo lib/Floats.vo common/Ast.vo common/Values.vo common/Events.vo common/Mem.vo common/Globalenvs.vo common/Pointers.vo clightTSO/clight_src/Csyntax.vo clightTSO/clight_src/Csem.vo cfrontend/Ctyping.vo cfrontend/Cminorops.vo cfrontend/Csharpminor.vo cfrontend/Cshmgen.vo cfrontend/Cshmgenproof1.vo cfrontend/Cshmgenproof2.vo common/Simulations.vo common/TSOsimulation.vo common/TSOmachine.vo common/Traces.vo
cfrontend/Cstacked.vo cfrontend/Cstacked.glob: cfrontend/Cstacked.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo common/TSOmachine.vo cfrontend/Cminorgen.vo cfrontend/Csharpminor.vo cfrontend/Cminorops.vo
cfrontend/Cstackedproof.vo cfrontend/Cstackedproof.glob: cfrontend/Cstackedproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/TSOmachine.vo common/TSOsimulation.vo backend/Cminor.vo cfrontend/Cminorgen.vo cfrontend/Cstacked.vo cfrontend/Csharpminor.vo common/Simulations.vo common/Mem.vo common/Memeq.vo common/Traces.vo cfrontend/Cstackedproofsimdef.vo cfrontend/Cstackedproofunbuffer.vo cfrontend/Cstackedproofalloc.vo cfrontend/Cstackedprooffree.vo cfrontend/Cstackedprooftau.vo common/Errors.vo common/Libtactics.vo
cfrontend/Cstackedproofalloc.vo cfrontend/Cstackedproofalloc.glob: cfrontend/Cstackedproofalloc.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo common/TSOmachine.vo common/TSOsimulation.vo backend/Cminor.vo cfrontend/Cminorgen.vo cfrontend/Cstacked.vo cfrontend/Csharpminor.vo common/Simulations.vo common/Mem.vo common/Memeq.vo cfrontend/Cstackedproofsimdef.vo cfrontend/Cstackedproofunbuffer.vo
cfrontend/Cstackedprooffree.vo cfrontend/Cstackedprooffree.glob: cfrontend/Cstackedprooffree.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo common/TSOmachine.vo common/TSOsimulation.vo backend/Cminor.vo cfrontend/Cminorgen.vo cfrontend/Cstacked.vo cfrontend/Csharpminor.vo common/Simulations.vo common/Mem.vo common/Memeq.vo cfrontend/Cstackedproofsimdef.vo cfrontend/Cstackedproofunbuffer.vo
cfrontend/Cstackedproofsimdef.vo cfrontend/Cstackedproofsimdef.glob: cfrontend/Cstackedproofsimdef.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo common/TSOmachine.vo common/TSOsimulation.vo backend/Cminor.vo cfrontend/Cminorgen.vo cfrontend/Cstacked.vo cfrontend/Csharpminor.vo common/Simulations.vo common/Mem.vo common/Memeq.vo
cfrontend/Cstackedprooftau.vo cfrontend/Cstackedprooftau.glob: cfrontend/Cstackedprooftau.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo common/TSOmachine.vo common/TSOsimulation.vo cfrontend/Cminorops.vo cfrontend/Cminorgen.vo cfrontend/Cstacked.vo cfrontend/Csharpminor.vo common/Simulations.vo common/Mem.vo common/Memeq.vo cfrontend/Cstackedproofsimdef.vo cfrontend/Cstackedproofunbuffer.vo cfrontend/Cstackedproofalloc.vo cfrontend/Cstackedprooffree.vo
cfrontend/Cstackedproofunbuffer.vo cfrontend/Cstackedproofunbuffer.glob: cfrontend/Cstackedproofunbuffer.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Pointers.vo common/Events.vo common/Globalenvs.vo common/Libtactics.vo common/TSOmachine.vo common/TSOsimulation.vo backend/Cminor.vo cfrontend/Cminorgen.vo cfrontend/Cstacked.vo cfrontend/Csharpminor.vo common/Simulations.vo common/Mem.vo common/Memeq.vo cfrontend/Cstackedproofsimdef.vo
cfrontend/Ctyping.vo cfrontend/Ctyping.glob: cfrontend/Ctyping.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo clightTSO/clight_src/Csyntax.vo
clightTSO/clight_src/Csem.unlinebreaked.tmp.vo clightTSO/clight_src/Csem.unlinebreaked.tmp.glob: clightTSO/clight_src/Csem.unlinebreaked.tmp.v lib/Coqlib.vo common/Values.vo common/Pointers.vo lib/Integers.vo lib/Floats.vo common/Events.vo common/Ast.vo clightTSO/clight_src/Csyntax.vo common/Globalenvs.vo common/Errors.vo lib/Maps.vo common/Libtactics.vo common/TSOmachine.vo lib/Mergesort.vo cfrontend/Ctyping.vo
clightTSO/clight_src/Csem.unlinebreaked.vo clightTSO/clight_src/Csem.unlinebreaked.glob: clightTSO/clight_src/Csem.unlinebreaked.v lib/Coqlib.vo common/Values.vo common/Pointers.vo lib/Integers.vo lib/Floats.vo common/Events.vo common/Ast.vo clightTSO/clight_src/Csyntax.vo common/Globalenvs.vo common/Errors.vo lib/Maps.vo common/Libtactics.vo common/TSOmachine.vo lib/Mergesort.vo cfrontend/Ctyping.vo
clightTSO/clight_src/Csem.vo clightTSO/clight_src/Csem.glob: clightTSO/clight_src/Csem.v lib/Coqlib.vo common/Values.vo common/Pointers.vo lib/Integers.vo lib/Floats.vo common/Events.vo common/Ast.vo clightTSO/clight_src/Csyntax.vo common/Globalenvs.vo common/Errors.vo lib/Maps.vo common/Libtactics.vo common/TSOmachine.vo lib/Mergesort.vo cfrontend/Ctyping.vo
clightTSO/clight_src/Csem1.vo clightTSO/clight_src/Csem1.glob: clightTSO/clight_src/Csem1.v lib/Coqlib.vo common/Values.vo common/Pointers.vo lib/Integers.vo lib/Floats.vo common/Events.vo common/Ast.vo clightTSO/clight_src/Csyntax.vo common/Globalenvs.vo common/Errors.vo lib/Maps.vo common/Libtactics.vo common/TSOmachine.vo lib/Mergesort.vo cfrontend/Ctyping.vo
clightTSO/clight_src/Csem3.vo clightTSO/clight_src/Csem3.glob: clightTSO/clight_src/Csem3.v
clightTSO/clight_src/Csyntax.vo clightTSO/clight_src/Csyntax.glob: clightTSO/clight_src/Csyntax.v lib/Coqlib.vo common/Errors.vo lib/Integers.vo lib/Floats.vo common/Ast.vo
clightTSO/clight_src/Csyntax2.vo clightTSO/clight_src/Csyntax2.glob: clightTSO/clight_src/Csyntax2.v
driver/Compiler.vo driver/Compiler.glob: driver/Compiler.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo common/Values.vo common/Traces.vo clightTSO/clight_src/Csyntax.vo clightTSO/clight_src/Csem.vo cfrontend/Csharpminor.vo backend/Cminor.vo backend/CminorSel.vo backend/RTL.vo backend/LTL.vo backend/LTLin.vo backend/Linear.vo backend/Mach.vo $(ARCH)/Asm.vo cfrontend/Cshmgen.vo cfrontend/Cminorgen.vo backend/Selection.vo backend/RTLgen.vo backend/Constprop.vo backend/CSE.vo backend/Fenceelim.vo backend/Fenceintro2.vo backend/Fenceelim2.vo backend/Allocation.vo backend/Tunneling.vo backend/Linearize.vo backend/Reload.vo backend/Stacking.vo $(ARCH)/Asmgen.vo cfrontend/Ctyping.vo backend/RTLtyping.vo backend/LTLtyping.vo backend/LTLintyping.vo backend/Lineartyping.vo backend/Machtyping.vo cfrontend/Cshmgenproof3.vo cfrontend/Cstackedproof.vo cfrontend/Cminorgenproof.vo backend/Selectionproof.vo backend/RTLgenproof.vo backend/Constpropproof.vo backend/CSEproof.vo backend/Fenceelimproof.vo backend/Fenceintro2proof.vo backend/Fenceelim2proof.vo backend/Allocproof.vo backend/Alloctyping.vo backend/Tunnelingproof.vo backend/Tunnelingtyping.vo backend/Linearizeproof.vo backend/Linearizetyping.vo backend/Reloadproof.vo backend/Reloadtyping.vo backend/Stackingproof.vo backend/Stackingtyping.vo backend/MMproof.vo $(ARCH)/Asmgenproof.vo
$(ARCH)/$(VARIANT)/Stacklayout.vo $(ARCH)/$(VARIANT)/Stacklayout.glob: $(ARCH)/$(VARIANT)/Stacklayout.v lib/Coqlib.vo backend/Bounds.vo
$(ARCH)/Asm.vo $(ARCH)/Asm.glob: $(ARCH)/Asm.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo backend/Locations.vo common/TSOmachine.vo $(ARCH)/$(VARIANT)/Stacklayout.vo $(ARCH)/Conventions.vo common/Libtactics.vo
$(ARCH)/Asmgen.vo $(ARCH)/Asmgen.glob: $(ARCH)/Asmgen.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/Mach.vo $(ARCH)/Asm.vo
$(ARCH)/Asmgenproof.vo $(ARCH)/Asmgenproof.glob: $(ARCH)/Asmgenproof.v lib/Coqlib.vo lib/Maps.vo common/Errors.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo common/TSOmachine.vo common/Simulations.vo common/TSOsimulation.vo $(ARCH)/Op.vo backend/Locations.vo backend/Mach.vo backend/Machconcr.vo backend/Machtyping.vo $(ARCH)/Asm.vo $(ARCH)/Asmgen.vo $(ARCH)/Asmgenretaddr.vo $(ARCH)/Asmgenproof1.vo common/Traces.vo common/Libtactics.vo
$(ARCH)/Asmgenproof1.vo $(ARCH)/Asmgenproof1.glob: $(ARCH)/Asmgenproof1.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo common/Simulations.vo common/TSOmachine.vo backend/Mach.vo backend/Machconcr.vo backend/Machtyping.vo $(ARCH)/Asm.vo $(ARCH)/Asmgen.vo $(ARCH)/Asmgenretaddr.vo $(ARCH)/Conventions.vo common/Errors.vo common/Libtactics.vo
$(ARCH)/Asmgenretaddr.vo $(ARCH)/Asmgenretaddr.glob: $(ARCH)/Asmgenretaddr.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo common/Errors.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Locations.vo backend/Mach.vo $(ARCH)/Asm.vo $(ARCH)/Asmgen.vo
$(ARCH)/ConstpropOp.vo $(ARCH)/ConstpropOp.glob: $(ARCH)/ConstpropOp.v lib/Coqlib.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo $(ARCH)/Op.vo backend/Registers.vo
$(ARCH)/ConstpropOpproof.vo $(ARCH)/ConstpropOpproof.glob: $(ARCH)/ConstpropOpproof.v lib/Coqlib.vo common/Ast.vo lib/Integers.vo common/Pointers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo $(ARCH)/Op.vo backend/Registers.vo backend/RTL.vo $(ARCH)/ConstpropOp.vo backend/Constprop.vo
$(ARCH)/Conventions.vo $(ARCH)/Conventions.glob: $(ARCH)/Conventions.v lib/Coqlib.vo common/Ast.vo backend/Locations.vo
$(ARCH)/Machregs.vo $(ARCH)/Machregs.glob: $(ARCH)/Machregs.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo
$(ARCH)/Op.vo $(ARCH)/Op.glob: $(ARCH)/Op.v lib/Coqlib.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Globalenvs.vo common/Events.vo
$(ARCH)/SelectOp.vo $(ARCH)/SelectOp.glob: $(ARCH)/SelectOp.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Globalenvs.vo backend/Cminor.vo $(ARCH)/Op.vo backend/CminorSel.vo
$(ARCH)/SelectOpproof-PpreX.vo $(ARCH)/SelectOpproof-PpreX.glob: $(ARCH)/SelectOpproof-PpreX.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo backend/Cminor.vo $(ARCH)/Op.vo backend/CminorSel.vo $(ARCH)/SelectOp.vo cfrontend/Cminorops.vo
$(ARCH)/SelectOpproof.vo $(ARCH)/SelectOpproof.glob: $(ARCH)/SelectOpproof.v lib/Coqlib.vo lib/Maps.vo common/Ast.vo lib/Integers.vo lib/Floats.vo common/Pointers.vo common/Values.vo common/Mem.vo common/Events.vo common/Globalenvs.vo backend/Cminor.vo $(ARCH)/Op.vo backend/CminorSel.vo $(ARCH)/SelectOp.vo
