260 Commits

Author	SHA1	Message	Date
bringert	d345337da0	Get CPPFLAGS and LDFLAGS from configure	2004-06-23 07:24:46 +00:00
bringert	410e3ec08d	Change references to gf2 to gf.	2004-06-22 15:48:57 +00:00
bringert	1300a9529f	Call gf as gf, not gf2.	2004-06-22 15:47:22 +00:00
bringert	6cb49d4c65	Rename gf2 and jgf2 to gf and jgf2	2004-06-22 15:28:07 +00:00
bringert	79f3c8563e	install target now installs gfdoc	2004-06-22 14:59:04 +00:00
bringert	6ef6e73ba2	Include gfdoc in rpm	2004-06-22 14:55:33 +00:00
aarne	8725379be3	make gfdoc	2004-06-22 14:54:05 +00:00
bringert	6cb989f467	Put editor in main package.	2004-06-22 14:12:51 +00:00
bringert	39c1d3c575	Build separate package for the java editor	2004-06-22 13:54:31 +00:00
bringert	5809b47cdc	use -source 1.4 for java code	2004-06-22 13:42:48 +00:00
bringert	f96f07b523	go to src before make install	2004-06-22 13:42:00 +00:00
bringert	480bfec875	use target 1.4 for java code	2004-06-22 13:24:01 +00:00
aarne	6a09c52540	spec	2004-06-22 13:13:28 +00:00
aarne	f634ccfae4	arranging for dist	2004-06-22 13:09:56 +00:00
bringert	97b540370c	Do make install in %install section	2004-06-22 13:06:03 +00:00
bringert	c463e99031	don't include release2.html	2004-06-22 13:03:58 +00:00
bringert	3ab574ad94	recreate for-ghc-nofun if it does not exist, since cvs export prunes empty dirs	2004-06-22 12:37:28 +00:00
aarne	f28e0f16c3	fixes in parsing	2004-06-22 12:33:31 +00:00
bringert	2bdc8b877f	Added rpm target. Fixed source dir name in rpm spec.	2004-06-22 12:15:39 +00:00
bringert	a239ab1ab5	Delete files that should not be in the distribution.	2004-06-22 12:13:19 +00:00
bringert	1704f94a49	delete tarbalss in distclean	2004-06-22 12:02:14 +00:00
bringert	339aa8caeb	Added autoconf step.	2004-06-22 12:01:06 +00:00
bringert	cff04c2887	Do autoconf in src dir when making dist	2004-06-22 11:58:45 +00:00
bringert	142a4a3235	Build jar file for java classes. Added dist target.	2004-06-22 11:56:24 +00:00
bringert	9b0d136d71	Moved distclean target to after clean	2004-06-22 09:44:46 +00:00
bringert	f5959152b7	Cleaned up Makefile, build for unix be default, create nofud-links in the right places.	2004-06-22 09:33:43 +00:00
bringert	0636808ff4	Added configure step to install instructions	2004-06-22 09:32:02 +00:00
bringert	5f4898739c	Added RPM spec	2004-06-22 08:56:34 +00:00
bringert	39e1cb259c	Added configure script, added install target, changed MkToday to a shell script to avoid a build-time dependency on runhugs	2004-06-22 08:56:20 +00:00
aarne	667523c977	for release meeting	2004-06-21 08:53:58 +00:00
peb	55d359a720	*** empty log message ***	2004-06-18 14:23:15 +00:00
aarne	e0d4eff9cb	small things	2004-06-18 13:14:50 +00:00
aarne	f63d731e33	path in file name test in ReadFiles	2004-06-17 14:10:06 +00:00
aarne	a22d6fdb01	bug fixes ; command so ; reintroduce batch mode	2004-06-16 14:49:50 +00:00
peb	b4ed911249	*** empty log message ***	2004-06-15 18:34:54 +00:00
aarne	83ff9cc2bb	improved make facility: remember state if fails; does not need source	2004-06-15 13:55:54 +00:00
peb	7cc1ecbbcf	*** empty log message ***	2004-06-10 14:37:43 +00:00
aarne	48560dd867	readfiles	2004-06-10 14:34:07 +00:00
aarne	c976663beb	KeY	2004-06-09 18:43:06 +00:00
janna	db13adbded	*** empty log message ***	2004-06-06 19:57:56 +00:00
peb	708459e93b	*** empty log message ***	2004-06-06 10:11:10 +00:00
aarne	10976cb7f5	SymbPN and SymbCN in resources	2004-06-03 19:31:39 +00:00
peb	ea15514395	*** empty log message ***	2004-06-02 11:17:15 +00:00
peb	78f88812b8	*** empty log message ***	2004-06-02 11:05:39 +00:00
aarne	2252119bbd	external translator	2004-05-28 12:18:28 +00:00
aarne	866418ea5e	command option check	2004-05-27 14:43:13 +00:00
aarne	0f8955da68	MyParser: hook for external parser	2004-05-27 08:28:43 +00:00
peb	c672653231	*** empty log message ***	2004-05-26 19:40:11 +00:00
peb	ddd70c8b35	*** empty log message ***	2004-05-26 18:44:40 +00:00
aarne	0f30a5a540	strict BinTree	2004-05-26 08:33:27 +00:00