e2a21ccfd6
```sh
git grep -l '^patch_args=-Np0' "srcpkgs/$1*/template" |
while read template; do
for p in ${template%/template}/patches/*; do
sed -i '
\,^[+-][+-][+-] /dev/null,b
/^[*-]\+ [0-9]\+\(,[0-9]\+\)\? [*-]\+$/b
s,^[*][*][*] ,&a/,
/^--- /{
s,\(^--- \)\(./\)*,\1a/,
s,[.-][Oo][Rr][Ii][Gg]\([ /]\),\1,
s/[.-][Oo][Rr][Ii][Gg]$//
s/[.]patched[.]\([^.]\)/.\1/
h
}
/^+++ -/{
g
s/^--- a/+++ b/
b
}
s,\(^+++ \)\(./\)*,\1b/,
' "$p"
done
sed -i '/^patch_args=/d' $template
done
```
12 lines
366 B
Diff
12 lines
366 B
Diff
Does not use ocamlfind, so this fails on nums.cmxa.
|
|
|
|
--- a/scripts/mk_project.py
|
|
+++ b/scripts/mk_project.py
|
|
@@ -101,7 +101,6 @@
|
|
add_c_example('maxsat')
|
|
add_dotnet_example('dotnet_example', 'dotnet')
|
|
add_java_example('java_example', 'java')
|
|
- add_ml_example('ml_example', 'ml')
|
|
add_z3py_example('py_example', 'python')
|
|
return API_files
|
|
|