[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Guile-commits] 59/437: add --with-lightning-prefix option to lightning.
From: |
Andy Wingo |
Subject: |
[Guile-commits] 59/437: add --with-lightning-prefix option to lightning.m4 |
Date: |
Mon, 2 Jul 2018 05:13:46 -0400 (EDT) |
wingo pushed a commit to branch lightning
in repository guile.
commit f47b23aa9f9c9bdf531c818c54be2f9e0219ce8f
Author: Paolo Bonzini <address@hidden>
Date: Sun Feb 3 09:58:16 2008 +0100
add --with-lightning-prefix option to lightning.m4
2008-02-03 Paolo Bonzini <address@hidden>
* build-aux/lightning.m4: Add --with-lightning-prefix option, suggested
by Sam Steingold.
---
ChangeLog | 5 +++++
THANKS | 3 ++-
build-aux/lightning.m4 | 13 +++++++++++++
doc/version.texi | 4 ++--
4 files changed, 22 insertions(+), 3 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index d8af414..4bea876 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-02-03 Paolo Bonzini <address@hidden>
+
+ * build-aux/lightning.m4: Add --with-lightning-prefix option, suggested
+ by Sam Steingold.
+
2008-01-14 Paolo Bonzini <address@hidden>
* lightning/i386/core-64.h: Use CALLsr, not CALLLsr.
diff --git a/THANKS b/THANKS
index e44f869..0276167 100644
--- a/THANKS
+++ b/THANKS
@@ -3,8 +3,9 @@ improving GNU lightning:
Eli Barzilay <address@hidden>
Ludovic Courtes <address@hidden>
+Matthew Flatt <address@hidden>
Laurent Michel <address@hidden>
Basile Starynkevitch <address@hidden>
+Sam Steingold <address@hidden>
Jens Troeger <address@hidden>
Tom Tromey <address@hidden>
-Matthew Flatt <address@hidden>
diff --git a/build-aux/lightning.m4 b/build-aux/lightning.m4
index 105aaf2..b612d7c 100644
--- a/build-aux/lightning.m4
+++ b/build-aux/lightning.m4
@@ -44,7 +44,20 @@ AC_SUBST_FILE(lightning_frag)
AC_DEFUN([LIGHTNING_CONFIGURE_IF_NOT_FOUND], [
AC_REQUIRE([AC_PROG_LN_S])dnl
AC_REQUIRE([AC_CANONICAL_HOST])dnl
+
+AC_ARG_WITH(lightning-prefix,
+AS_HELP_STRING([--with-lightning-prefix=PFX], [Prefix where GNU lightning is
installed]),
+[], [with_lightning_prefix=])
+saveCFLAGS="$CFLAGS"
+if test "x$with_lightning_prefix" != x; then
+ INCLIGHTNING="-I${with_lightning_prefix}/include"
+ CFLAGS="$CFLAGS $INCLIGHTNING"
+else
+ INCLIGHTNING=
+fi
AC_CHECK_HEADER(lightning.h)
+CFLAGS="$saveCFLAGS"
+
AM_CONDITIONAL(LIGHTNING_MAIN, (exit 1))
AM_CONDITIONAL(HAVE_INSTALLED_LIGHTNING, test "$ac_cv_header_lightning_h" =
yes)
diff --git a/doc/version.texi b/doc/version.texi
index 95b649f..bbcbdc5 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
address@hidden UPDATED 25 October 2006
address@hidden UPDATED-MONTH October 2006
address@hidden UPDATED 9 January 2008
address@hidden UPDATED-MONTH January 2008
@set EDITION 1.2c
@set VERSION 1.2c
- [Guile-commits] 48/437: use CVTT instruction, fix lightning/Makefile.am, (continued)
- [Guile-commits] 48/437: use CVTT instruction, fix lightning/Makefile.am, Andy Wingo, 2018/07/02
- [Guile-commits] 53/437: fix -I flags for opcode subdirectory, Andy Wingo, 2018/07/02
- [Guile-commits] 55/437: add Matthew Flatt to THANKS file, Andy Wingo, 2018/07/02
- [Guile-commits] 39/437: merge 64-bit cleanliness changes from mzscheme, Andy Wingo, 2018/07/02
- [Guile-commits] 49/437: add clean-local target to lightning/Makefile.am, Andy Wingo, 2018/07/02
- [Guile-commits] 56/437: fix i386 floating-point sub(a,0,a), Andy Wingo, 2018/07/02
- [Guile-commits] 54/437: add 3to2 test and fix bug, Andy Wingo, 2018/07/02
- [Guile-commits] 52/437: improve set* encoding for i386, add testcase, Andy Wingo, 2018/07/02
- [Guile-commits] 57/437: don't truncate function pointers on amd64, Andy Wingo, 2018/07/02
- [Guile-commits] 68/437: cast memory address to long for JCCim, Andy Wingo, 2018/07/02
- [Guile-commits] 59/437: add --with-lightning-prefix option to lightning.m4,
Andy Wingo <=
- [Guile-commits] 67/437: add underscores around __unused__ attribute, Andy Wingo, 2018/07/02
- [Guile-commits] 65/437: fix some problems (not all) with lightningize, Andy Wingo, 2018/07/02
- [Guile-commits] 63/437: Fix stxr_c(_EAX, _EBX, _ESI)., Andy Wingo, 2018/07/02
- [Guile-commits] 64/437: avoid "value computed is not used" in jit_allocai, Andy Wingo, 2018/07/02
- [Guile-commits] 66/437: warning patrol (allocai.c, ppc), Andy Wingo, 2018/07/02
- [Guile-commits] 75/437: fix uses of jit_qop_ with 4 parameters, Andy Wingo, 2018/07/02
- [Guile-commits] 61/437: avoid redefinition of _r1, Andy Wingo, 2018/07/02
- [Guile-commits] 73/437: add LEAQmr for x86-64, Andy Wingo, 2018/07/02
- [Guile-commits] 82/437: use MOVLir directly to implement i386 32-bit jit_movi_p, Andy Wingo, 2018/07/02
- [Guile-commits] 72/437: misc. x86-64 bugfixes, Andy Wingo, 2018/07/02