Files
gentoo/dev-ml/num/files/num-1.6-META-directory.patch
2025-08-27 17:35:37 +02:00

11 lines
372 B
Diff

--- a/src/Makefile
+++ b/src/Makefile
@@ -48,6 +48,7 @@ META.num:
@echo 'version = "$(VERSION)"' >> $@
@echo 'description = "Arbitrary-precision rational arithmetic"' >> $@
@echo 'package "core" (' >> $@
+ @echo ' directory = ".."' >> $@
@echo ' version = "$(VERSION)"' >> $@
@echo ' browse_interfaces = ""' >> $@
@echo ' archive(byte) = "nums.cma"' >> $@