diff options
Diffstat (limited to 'exedir.patch')
| -rw-r--r-- | exedir.patch | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/exedir.patch b/exedir.patch new file mode 100644 index 000000000000..2c8acfc550c6 --- /dev/null +++ b/exedir.patch @@ -0,0 +1,10 @@ +diff -aur package.pristine/install.ml package.new/install.ml +--- package.pristine/install.ml 2016-07-29 13:32:19.341223767 +0200 ++++ package.new/install.ml 2016-07-29 13:32:33.834459844 +0200 +@@ -7,5 +7,5 @@ + [ oasis_lib "ppx_assert" + ; oasis_lib "ppx_assert_lib" + ; file "META" ~section:"lib" +- ; oasis_exe "ppx" ~dest:"../lib/ppx_assert/ppx" ++ ; oasis_exe "ppx" ~dest:"../lib/ocaml/ppx_assert/ppx" + ] |