Add LGPLv2+ notice to *.api files.

diff --git a/APIs/block_devices.api b/APIs/block_devices.api
index 7769911..d052b9c 100644 (file)
--- a/APIs/block_devices.api
+++ b/APIs/block_devices.api
@@ -1,3 +1,21 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 (*
 system_object block_device
   dir_list "/sys/block/[hsv]d[a-z]*"

diff --git a/APIs/error.api b/APIs/error.api
index 0ec07c2..190af67 100644 (file)
--- a/APIs/error.api
+++ b/APIs/error.api
@@ -1,3 +1,21 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 entry_point local
 bool error ()
 <<
@@ -8,4 +26,4 @@ entry_point local
 void clear_error ()
 <<
   w->error_flag = 0;
->>
\ No newline at end of file
+>>

diff --git a/APIs/fileperm.api b/APIs/fileperm.api
index 38c654b..6abf0a4 100644 (file)
--- a/APIs/fileperm.api
+++ b/APIs/fileperm.api
@@ -1,2 +1,20 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 (* XXX preconditions XXX *)
 typedef int fileperm

diff --git a/APIs/filesize.api b/APIs/filesize.api
index a8e29d8..e57df8e 100644 (file)
--- a/APIs/filesize.api
+++ b/APIs/filesize.api
@@ -1,3 +1,21 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 entry_point
 off_t filesize (pathname path)
 <<
@@ -11,8 +29,6 @@ off_t filesize (pathname path)
   return buf.st_size;
 >>
 
-;;
-
 (*
 mknod_block
 mkfifo

diff --git a/APIs/handle.api b/APIs/handle.api
index 9fd4377..3f22260 100644 (file)
--- a/APIs/handle.api
+++ b/APIs/handle.api
@@ -1,5 +1,23 @@
-entry_point local void connect () ;;
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
+entry_point local void connect ()
 
 (* XXX Should scheme be an enum? *)
-entry_point local void set_scheme (string scheme) ;;
-entry_point local void set_hostname (string hostname) ;;
+entry_point local void set_scheme (string scheme)
+entry_point local void set_hostname (string hostname)

diff --git a/APIs/mkdir.api b/APIs/mkdir.api
index bcdebab..85c5d23 100644 (file)
--- a/APIs/mkdir.api
+++ b/APIs/mkdir.api
@@ -1 +1,19 @@
-entry_point void mkdir (pathname path, fileperm perm) (* implicit *);;
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
+entry_point void mkdir (pathname path, fileperm perm) (* implicit *)

diff --git a/APIs/mknod.api b/APIs/mknod.api
index 793833b..2e16a3c 100644 (file)
--- a/APIs/mknod.api
+++ b/APIs/mknod.api
@@ -1,3 +1,21 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 entry_point
 void mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor)
 <<
@@ -8,8 +26,6 @@ void mknod_char (pathname path, fileperm perm, uint64 major, uint64 minor)
   return 0;
 >>
 
-;;
-
 (*
 mknod_block
 mkfifo

diff --git a/APIs/off_t.api b/APIs/off_t.api
index 1f8e7a7..22dde87 100644 (file)
--- a/APIs/off_t.api
+++ b/APIs/off_t.api
@@ -1,2 +1,20 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 (* XXX preconditions: >= 0 *)
 typedef int off_t

diff --git a/APIs/pathname.api b/APIs/pathname.api
index 7398460..5672b2d 100644 (file)
--- a/APIs/pathname.api
+++ b/APIs/pathname.api
@@ -1,2 +1,20 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 (* XXX precondition that this is non-empty *)
 typedef string pathname

diff --git a/APIs/processes.api b/APIs/processes.api
index 86c5f67..030731b 100644 (file)
--- a/APIs/processes.api
+++ b/APIs/processes.api
@@ -1,3 +1,21 @@
+(* wrappi -*- tuareg -*-
+ * Copyright (C) 2011-2012 Red Hat Inc.
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Lesser General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Lesser General Public License for more details.
+ *
+ * You should have received a copy of the GNU Lesser General Public
+ * License along with this library; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
+ *)
+
 (*
 system_object process
   dir_list "/proc/[1-9]*"