diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-01-26 01:54:54 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-26 01:54:54 +0000 |
commit | 79de60c14eee653ca1a344ce0f850edc088f1bc8 (patch) | |
tree | 0f2b6a5f9ab9f9a7a92396e477eaa42b3bd8eacd /dev-ml/zarith/files | |
parent | 95985714240f6993f90c5096f2dac642d5d42928 (diff) |
gentoo auto-resync : 26:01:2023 - 01:54:54
Diffstat (limited to 'dev-ml/zarith/files')
-rw-r--r-- | dev-ml/zarith/files/zarith-1.12-shuffle.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-ml/zarith/files/zarith-1.12-shuffle.patch b/dev-ml/zarith/files/zarith-1.12-shuffle.patch new file mode 100644 index 000000000000..4ddff37d6b04 --- /dev/null +++ b/dev-ml/zarith/files/zarith-1.12-shuffle.patch @@ -0,0 +1,11 @@ +--- a/project.mak 2023-01-25 22:56:39.079292147 +0100 ++++ b/project.mak 2023-01-25 22:56:57.865057118 +0100 +@@ -145,7 +145,7 @@ + make -C tests clean + + depend: $(AUTOGEN) +- $(OCAMLDEP) -native $(OCAMLINC) $(MLSRC) $(MLISRC) > depend ++ $(OCAMLDEP) $(OCAMLINC) $(MLSRC) $(MLISRC) > depend + + include depend + |