[GiNaC] Log of /cint/genheader.pl

Revision 1.2
Sun Jan 30 20:53:05 2000 UTC (13 years, 3 months ago) by kreckel
Branch: MAIN
CVS Tags: HEAD
Changes since 1.1: +0 -0 lines
FILE REMOVED

- Renamed flag NO_GINAC_NAMESPACE to NO_NAMESPACE_GINAC because of m4.
- Made configure check for cint and makecint and call makecint to dump out
  cint/Makefile.cint, which will later be called by cint/Makefile.  See
  configure option --with-cint.
- Added some documentation about GiNaC-cint (e.g. a manpage).
- All dummies in subdir cint/ are created by cint/dummies.pl now, removed
  older stuff.

Revision 1.1 - (view) (annotate) - [select for diffs]
Fri Jan 28 15:26:41 2000 UTC (13 years, 3 months ago) by frink
Branch: MAIN

genheader.pl: create a header file 'cint_workaround.h' to fix the broken
cint overloading for C math library functions

This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

Links to HEAD:	(view) (annotate)
Links to HEAD:	(view) (annotate)
Sticky Tag:

Christian Bauer">Christian Bauer	ViewVC Help
Powered by ViewVC 1.1.15

	Diffs between and
	Type of Diff should be a