project updates

ak-2485 · ak-2485 · commit 3aebfccda341 · 2025-01-05T13:26:04.000-05:00
diff --git a/coq_error_metrics/Makefile b/coq_error_metrics/Makefile
@@ -0,0 +1,13 @@
+COQPATHFILE=$(wildcard _CoqPath)
+
+Makefile.coq: _CoqProject 
+	coq_makefile -f $< -o$@ 
+
+clean: 
+	rm *.vo *.vok *.glob *.vos
+
+all :  
+	coq_makefile -f _CoqProject -o Makefile.coq 
+	$(MAKE) -f Makefile.coq 
+       	
+
diff --git a/coq_error_metrics/_CoqProject b/coq_error_metrics/_CoqProject
@@ -1,4 +1,4 @@
 -Q . ErrorMetrics
 
 absolute_prec.v
-ops_absolute_prec.v 
+ops_absolute_prec.v
