diff options
Diffstat (limited to 'dev-ml/camlidl/files')
-rw-r--r-- | dev-ml/camlidl/files/META | 4 | ||||
-rw-r--r-- | dev-ml/camlidl/files/includes.patch | 12 | ||||
-rw-r--r-- | dev-ml/camlidl/files/tests.patch | 36 |
3 files changed, 52 insertions, 0 deletions
diff --git a/dev-ml/camlidl/files/META b/dev-ml/camlidl/files/META new file mode 100644 index 00000000..3c6b5aa9 --- /dev/null +++ b/dev-ml/camlidl/files/META @@ -0,0 +1,4 @@ +description = "Stub generator" +version = "1.05" +archive(byte) = "com.cma" +archive(native) = "com.cmxa" diff --git a/dev-ml/camlidl/files/includes.patch b/dev-ml/camlidl/files/includes.patch new file mode 100644 index 00000000..060aceef --- /dev/null +++ b/dev-ml/camlidl/files/includes.patch @@ -0,0 +1,12 @@ +Index: camlidl-1.05/runtime/comerror.c +=================================================================== +--- camlidl-1.05.orig/runtime/comerror.c ++++ camlidl-1.05/runtime/comerror.c +@@ -22,6 +22,7 @@ + #include <caml/callback.h> + #include <caml/fail.h> + #include <caml/alloc.h> ++#include <caml/printexc.h> + #include "camlidlruntime.h" + #include "comstuff.h" + diff --git a/dev-ml/camlidl/files/tests.patch b/dev-ml/camlidl/files/tests.patch new file mode 100644 index 00000000..f7272424 --- /dev/null +++ b/dev-ml/camlidl/files/tests.patch @@ -0,0 +1,36 @@ +Index: camlidl-1.05/tests/unix.idl +=================================================================== +--- camlidl-1.05.orig/tests/unix.idl ++++ camlidl-1.05/tests/unix.idl +@@ -15,16 +15,16 @@ quote (C, " + + union process_status { int code; }; + +- enum { WEXITED, WSIGNALED, WSTOPPED }; ++ enum { WEXITED2, WSIGNALED, WSTOPPED2 }; + + static void decode_status(int status, int * kind, union process_status * p) + { + if (WIFEXITED(status)) { +- *kind = WEXITED; p->code = WEXITSTATUS(status); ++ *kind = WEXITED2; p->code = WEXITSTATUS(status); + } else if (WIFSIGNALED(status)) { + *kind = WSIGNALED; p->code = WTERMSIG(status); + } else { +- *kind = WSTOPPED; p->code = WSTOPSIG(status); ++ *kind = WSTOPPED2; p->code = WSTOPSIG(status); + } + } + +@@ -59,9 +59,9 @@ int execve([in,string] char * path, + int fork(void); + + union process_status { +- case WEXITED: int code; ++ case WEXITED2: int code; + case WSIGNALED: int code; +- case WSTOPPED: int code; ++ case WSTOPPED2: int code; + }; + + int wait([out] int * kind, |