ADCP_tools_lib.pl
changeset 28 7c7da52363c2
child 33 307630665c6c
new file mode 100644
--- /dev/null
+++ b/ADCP_tools_lib.pl
@@ -0,0 +1,21 @@
+#======================================================================
+#                    A D C P _ T O O L S _ L I B . P L 
+#                    doc: Tue Jan  5 10:45:47 2016
+#                    dlm: Tue Jan  5 10:50:18 2016
+#                    (c) 2016 A.M. Thurnherr
+#                    uE-Info: 21 0 NIL 0 0 72 0 2 4 NIL ofnI
+#======================================================================
+
+# HISTORY:
+#	Jan  5, 2015: - created
+
+$ADCP_tools_version = 1.4;		# Jan  5, 2016
+
+die(sprintf("$0: obsolete ADCP_tools V%.1f; V%.1f required\n",
+    $ADCP_tools_version,$ADCP_tools_minVersion))
+        if (!defined($ADCP_tools_minVersion) || $ADCP_tools_minVersion>$ADCP_tools_version);
+
+require "$ADCP_TOOLS/RDI_Coords.pl";
+require "$ADCP_TOOLS/RDI_PD0_IO.pl";
+require "$ADCP_TOOLS/RDI_Utils.pl";
+