Ticket #11154: orpie.patch

File orpie.patch, 1.1 KB (added by snb@…, 18 years ago)

  • Portfile 

    diff -urN orpie.orig/Portfile orpie/Portfile
    old new  
    1515                                stack.
    1616master_sites    http://www.eecs.umich.edu/~pelzlpj/orpie/
    1717checksums               md5 1c9d87cf3f8d982a9a3662d48e13de55
     18patchfiles              patch-gsl_mlgsl_error.c
    1819homepage                http://www.eecs.umich.edu/~pelzlpj/orpie/
    1920depends_lib             port:gsl
    2021depends_build   port:ocaml

  • files/patch-gsl_mlgsl_error.c 

    diff -urN orpie.orig/files/patch-gsl_mlgsl_error.c orpie/files/patch-gsl_mlgsl_error.c
    old new  
     1--- gsl/mlgsl_error.c.orig      Sat Oct 29 22:40:23 2005
     2+++ gsl/mlgsl_error.c   Sun Sep 24 14:42:12 2006
     3@@ -43,7 +43,8 @@
     4   exn_arg = alloc_small(2, 0);
     5   Store_field(exn_arg, 0, Val_int(conv_err_code(gsl_errno)));
     6   Store_field(exn_arg, 1, copy_string(ml_gsl_exn_msg));
     7-  CAMLreturn(raise_with_arg(*ml_gsl_exn, exn_arg));
     8+  raise_with_arg(*ml_gsl_exn, exn_arg);
     9+  CAMLreturn0;
     10 }
     11 
     12 static void ml_gsl_error_handler(const char *reason, const char *file,