, such as using LOG_COMPILER
instead of TESTS_ENVIRONMENT, but these are orthogonal
issue (i.e., the observation above is with an empty
TESTS_ENVIRONMENT).
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagn...@cs.unipr.it
, just released.
Thanks again to everyone,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
On 08/22/10 06:11, Ralf Wildenhues wrote:
* Roberto Bagnara wrote on Sat, Aug 21, 2010 at 11:32:45PM CEST:
I am using Automake's simple test driver.
Are you using parallel-tests or not?
I am not using it now (though I am planning to use it in the future).
Any setting for the variables
On 08/22/10 12:09, Ralf Wildenhues wrote:
* Roberto Bagnara wrote on Sun, Aug 22, 2010 at 09:36:34AM CEST:
On 08/22/10 06:11, Ralf Wildenhues wrote:
* Roberto Bagnara wrote on Sat, Aug 21, 2010 at 11:32:45PM CEST:
I have three programs that, due to a buggy program transformation,
keep
) and they do.
Any idea how I may investigate this issue further?
Thanks,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn...@cs.unipr.it
On 08/18/10 20:34, Ralf Wildenhues wrote:
* Stefano Lattarini wrote on Wed, Aug 18, 2010 at 03:42:01PM CEST:
On Wednesday 18 August 2010, Roberto Bagnara wrote:
On 08/18/10 13:18, Stefano Lattarini wrote:
At Wednesday 18 August 2010, Roberto Bagnara wrote:
#$(TESTS:=...@objext
On 08/17/2010 08:47 PM, Ralf Wildenhues wrote:
* Stefano Lattarini wrote on Tue, Aug 17, 2010 at 02:26:13PM CEST:
At Tuesday 17 August 2010, Roberto Bagnara wrote:
On 08/17/10 13:26, Stefano Lattarini wrote:
$(TESTS): your-special-purpose-compiler
That dependency cases relinking
On 08/18/10 13:18, Stefano Lattarini wrote:
At Wednesday 18 August 2010, Roberto Bagnara wrote:
# This does not work: when ../../bin/compiler changes, tests are
# not recompiled.
# TESTS_OBJS = $(TESTS:=...@objext@)
Typo here (and in Ralf example): should be $(TESTS:=...@objext@),
with a dot
are self-contained). How can I disably
automatic dependency tracking *only* on that
directory?
Many thanks in advance,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagn
On 08/17/10 13:26, Stefano Lattarini wrote:
At Tuesday 17 August 2010, Roberto Bagnara wrote:
I would like to test a new special-purpose compiler
(which is part of a bigger project) using the Automake
simple tests feature.
I have two problems:
1) I have not found a way to force recompilation
be
seen as a documentation bug. Maybe I'll attempt a patch later or
tomorrow.
Yes, that would be a definite improvement.
Thanks again,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara
involuntary omissions in BUILT_SOURCES. As for the reason I was
unable to reproduce the problem, it basically boils down to not
getting enough rest. Embarrassing... sorry for bothering you
and the mailing list about this.
Many thanks again,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods
with this problem since
yesterday to no avail: I am unable to reproduce it and to identify
in the Automake manual what the cause might be.
Many thanks in advance,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it
invoking libtool, aclocal, automake
in the right order and recursing to subdirectories is what is needed, but
we are not sure. What is the right solution?
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http
Andreas Schwab wrote:
Roberto Bagnara [EMAIL PROTECTED] writes:
In other words, we would need something that acts like autoreconf except
for the fact that it would not attempt to build configure from configure.ac.
$ AUTOCONF=true autoreconf ...
Hi Andreas,
it would have been nice
enormous
Makefile.am files which would be a maintenance nightmare.
That is, now everything is automated; if we use a long
chain of conditionals we would have to maintain consistency
by hand.
Is there any other possibility?
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Ralf Wildenhues wrote:
* Roberto Bagnara wrote on Thu, Aug 21, 2008 at 12:55:25PM CEST:
[ ... lots of sources, conditional and all ... ]
Using the solution outlined in the Automake manual
(i.e., using conditionals) would cause us to write enormous
Makefile.am files which would be a maintenance
).
Thanks a lot Ralf. I am not trying to complete that into
something working. If you don't mind, I will let you know
when I am done so that you can take a look.
Cheers,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http
misusing Automake (1.10)
and/or Libtool (1.5.22).
Any idea?
Thanks,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL PROTECTED]
Thomas Schwinge wrote:
Hello!
On Wed, Jan 10, 2007 at 07:35:35PM +0100, Ralf Wildenhues wrote:
* Roberto Bagnara wrote on Fri, Dec 22, 2006 at 03:17:21PM CET:
The subject says all. Is there any workaround?
check_JAVA files are always compiled, not only in case of `make check'.
Quoting 'info
The subject says all. Is there any workaround?
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL PROTECTED]
@
redundant?
* Roberto Bagnara wrote on Sat, Jan 07, 2006 at 06:12:06PM CET:
Autotest looks attractive. We may consider switching to it as soon
as it stabilizes.
The next Autoconf release should have a decently usable version of it.
I look forward to it.
Thanks again,
Roberto
--
Prof
Ralf Wildenhues wrote:
Hello there,
* Roberto Bagnara wrote on Wed, Oct 19, 2005 at 09:13:16PM CEST:
Instead, what I would like to have is to only say
test1_SOURCES = test1.cc
test2_SOURCES = test2.cc
...
and then achieve the effect of (sorry for the pseudo-code)
for flags
by Automake?
Many thanks in advance,
Roberto
P.S. Actually, it would be nice to also get rid of
test1_SOURCES = test1.cc
test2_SOURCES = test2.cc
...
in favor of something more concise, but this is another story.
--
Prof. Roberto Bagnara
Computer Science Group
Department
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL PROTECTED]
. The last thing I heard concerning this was reassuring:
http://sources.redhat.com/ml/automake/2004-01/msg00212.html
Has this project been dropped? (It would be a pity then.)
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma
capabilities.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:[EMAIL PROTECTED]
27 matches
Mail list logo