summaryrefslogtreecommitdiff
path: root/extraction/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'extraction/Makefile')
-rw-r--r--extraction/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/extraction/Makefile b/extraction/Makefile
index 4274e8e..513577c 100644
--- a/extraction/Makefile
+++ b/extraction/Makefile
@@ -23,7 +23,7 @@ FILES=\
LTL.ml LTLin.ml \
InterfGraph.ml ../caml/Coloringaux.ml Coloring.ml \
Allocation.ml \
- Tunneling.ml Linear.ml Linearize.ml \
+ Tunneling.ml Linear.ml ../caml/Linearizeaux.ml Linearize.ml \
Parallelmove.ml Reload.ml \
Mach.ml Bounds.ml Stacking.ml \
PPC.ml PPCgen.ml \