Re: [csmith-dev] How to use test_csmith.pl

[Eric Eide <eeide@cs.utah.edu>]

	Shakthi> Actually, 'make install' installs test_csmith.pl as well.
	Shakthi> scripts/Makefile.am includes test_csmith.pl in the
	Shakthi> dist_bin_SCRIPTS variable.
	Shakthi> 
	Shakthi> Hence, my question of whether it is required or not.

If I grok the thread so far, at least part of the issue is that
`test_csmith.pl' requires scripts (e.g., `RunSafely') that are not in the
distribution at all.

As John Regehr wrote earlier, `test_csmith.pl' probably isn't all that useful
to people outside of Utah, so we probably should not include it in the
distribution at all.

I'd say that the best fix would be for us (Utah) to move the `test_csmith.pl'
script back into the `utah' directory.  We'd include this change in a Csmith
2.1.1 release, which would be the new basis for your packaging work.

What do you think about this?

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX