fix Holmakefile

CakeML · Aug 16, 2023 · 70c9116 · 70c9116
1 parent 2016f17
commit 70c9116
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/lpr_checker/array/compilation/Holmakefile b/examples/lpr_checker/array/compilation/Holmakefile
@@ -10,5 +10,5 @@ README.md: $(CAKEMLDIR)/developers/readme_gen readmePrefix $(patsubst %,%readmeP
 	$(protect $(CAKEMLDIR)/developers/readme_gen) $(README_SOURCES)
 
 cake_lpr.S: *lpr_arrayCompileScript.sml
-cake_lpr_arm8.S: *lpr_arrayRamseyCompileScript.sml
+cake_lpr_arm8.S: *lpr_arrayCompileARM8Script.sml
 cake_lpr_ramsey.S: *lpr_arrayRamseyCompileScript.sml