From b69ec3f6d953e67422dd32b72688cba850fd1b2e Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbarenblat@galois.com>
Date: Mon, 13 Jan 2014 15:56:57 -0800
Subject: Initial commit

---
 m4/otf.m4 | 74 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 74 insertions(+)
 create mode 100644 m4/otf.m4

(limited to 'm4/otf.m4')

diff --git a/m4/otf.m4 b/m4/otf.m4
new file mode 100644
index 0000000..42b0224
--- /dev/null
+++ b/m4/otf.m4
@@ -0,0 +1,74 @@
+# otf.m4 -- helper function to detect OTF libraries            -*- Autoconf -*-
+# Copyright (C) 2013  Galois, Inc.
+#
+# This library is free software: you can redistribute it and/or modify it under
+# the terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 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 General Public License for more
+# details.
+#
+# You should have received a copy of the GNU General Public License along with
+# this library.  If not, see <http://www.gnu.org/licenses/>.
+#
+# To contact Galois, complete the Web form at <http://corp.galois.com/contact/>
+# or write to Galois, Inc., 421 Southwest 6th Avenue, Suite 300, Portland,
+# Oregon, 97204-1622.
+
+# GALOIS_PPAML_LIB_OPENTRACE(ACTION-IF-FOUND, ACTION-IF-NOT-FOUND)
+# This macro expands the OTF_CFLAGS and OTF_LIBS variables, but it does not add
+# them to CFLAGS or LIBS.
+AC_DEFUN([GALOIS_PPAML_LIB_OPENTRACE], [
+    AC_REQUIRE([AC_PROG_SED])
+    otf_ok=whoKnows
+    # Check for otfconfig.
+    AC_PATH_PROG([OTFCONFIG], [otfconfig])
+    AC_ARG_VAR([OTFCONFIG], [path to otfconfig binary])
+    if test -z "$OTFCONFIG"; then
+        otf_ok=no
+    else
+        OTF_CFLAGS="`"$OTFCONFIG" --includes`"
+        OTF_LIBS="`"$OTFCONFIG" --libs`"
+        # Save CFLAGS and LIBS, and reset CFLAGS and LIBS to the OTF
+        # requirements.
+        SAVECFLAGS="$CFLAGS"
+        SAVELIBS="$LIBS"
+        CFLAGS="$OTF_CFLAGS"
+        LIBS="$OTF_LIBS"
+        # Try to compile using the CFLAGS.
+        AC_COMPILE_IFELSE(
+            [AC_LANG_PROGRAM(
+                [#include <otf.h>"],
+                [int x = otf_errno;])],
+            [otf_compile_headers=yes],
+            [otf_compile_headers=no])
+        # Try to compile using the libraries.
+        AC_LINK_IFELSE(
+            [AC_LANG_PROGRAM(
+                [#include <otf.h>"],
+                [int x = otf_errno;])],
+            [otf_link=yes],
+            [otf_link=no])
+        # Did we pass?
+        if test \( "$otf_compile_headers" = "yes" \) -a \
+            \( "$otf_link" = "yes" \); then
+            otf_ok=yes
+        else
+            otf_ok=no
+        fi
+        # Restore CFLAGS and LIBS.
+        CFLAGS="$SAVECFLAGS"
+        LIBS="$SAVELIBS"
+    fi
+    # Execute the users' blocks.
+    if test "$otf_ok" = "yes"; then
+        AC_SUBST([OTF_CFLAGS])
+        AC_SUBST([OTF_LIBS])
+        ifelse([$1], , :, [$1])
+    else
+        ifelse([$2], , :, [$2])
+    fi
+])
-- 
cgit v1.2.3