213 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
bringert	cd3f267daa	Fixed script to only include .gf files. Updated generated script.	2004-06-23 09:44:27 +00:00
bringert	0f9070bf3a	Added binary-dist target.	2004-06-23 09:02:54 +00:00
bringert	8443f80500	Added Solaris VCS configure instructions	2004-06-23 08:39:48 +00:00
bringert	7906215075	Get CPPFLAGS and LDFLAGS from configure	2004-06-23 07:24:46 +00:00
bringert	97112b53d3	Change references to gf2 to gf.	2004-06-22 15:48:57 +00:00
bringert	b19c44e163	Call gf as gf, not gf2.	2004-06-22 15:47:22 +00:00
bringert	bab786d20e	Rename gf2 and jgf2 to gf and jgf2	2004-06-22 15:28:07 +00:00
bringert	d0ee0d6901	install target now installs gfdoc	2004-06-22 14:59:04 +00:00
bringert	cf1df1bab5	Include gfdoc in rpm	2004-06-22 14:55:33 +00:00
aarne	0b55c09abb	make gfdoc	2004-06-22 14:54:05 +00:00
bringert	8a0d51c5f6	Put editor in main package.	2004-06-22 14:12:51 +00:00
bringert	06bd91870e	Build separate package for the java editor	2004-06-22 13:54:31 +00:00
bringert	fad8e4c44f	use -source 1.4 for java code	2004-06-22 13:42:48 +00:00
bringert	90337afc6f	go to src before make install	2004-06-22 13:42:00 +00:00
bringert	ba567262b6	use target 1.4 for java code	2004-06-22 13:24:01 +00:00
aarne	bd99ecbea9	spec	2004-06-22 13:13:28 +00:00
aarne	65693a05fd	arranging for dist	2004-06-22 13:09:56 +00:00
bringert	7edf59f000	Do make install in %install section	2004-06-22 13:06:03 +00:00
bringert	de80918427	don't include release2.html	2004-06-22 13:03:58 +00:00
bringert	3003113134	recreate for-ghc-nofun if it does not exist, since cvs export prunes empty dirs	2004-06-22 12:37:28 +00:00
aarne	53f7d4ecfb	fixes in parsing	2004-06-22 12:33:31 +00:00
bringert	3986f8c265	Added rpm target. Fixed source dir name in rpm spec.	2004-06-22 12:15:39 +00:00
bringert	a3a4c3f8ca	Delete files that should not be in the distribution.	2004-06-22 12:13:19 +00:00
bringert	8b71e75094	delete tarbalss in distclean	2004-06-22 12:02:14 +00:00
bringert	cc0fbb46f8	Added autoconf step.	2004-06-22 12:01:06 +00:00
bringert	457d00100a	Do autoconf in src dir when making dist	2004-06-22 11:58:45 +00:00
bringert	1de7132520	Build jar file for java classes. Added dist target.	2004-06-22 11:56:24 +00:00
bringert	5629e77ba5	Moved distclean target to after clean	2004-06-22 09:44:46 +00:00
bringert	b41a8937db	Cleaned up Makefile, build for unix be default, create nofud-links in the right places.	2004-06-22 09:33:43 +00:00
bringert	ed2dccfcf2	Added configure step to install instructions	2004-06-22 09:32:02 +00:00
bringert	d1190cc839	Added GF description and pointer to the INSTALL file.	2004-06-22 09:25:37 +00:00
bringert	d8dcb5a8ef	Added RPM spec	2004-06-22 08:56:34 +00:00
bringert	9cc3e87735	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
bringert	464a2937cb	Added placeholder readme file	2004-06-22 08:54:31 +00:00
bringert	56312ed045	Added license file	2004-06-22 08:54:14 +00:00
aarne	fdfd77a7d5	some new Swedish paradigms	2004-06-21 15:14:37 +00:00
aarne	b248e6e25e	for release meeting	2004-06-21 08:53:58 +00:00
aarne	a134a1fd65	pdf	2004-06-21 08:35:01 +00:00
peb	1efb265000	*** empty log message ***	2004-06-18 14:23:15 +00:00
aarne	22613ceb37	small things	2004-06-18 13:14:50 +00:00
aarne	29b9dcaf82	preced	2004-06-18 08:52:38 +00:00
aarne	94f8d310cb	path in file name test in ReadFiles	2004-06-17 14:10:06 +00:00
aarne	a77519ba10	bug fixes ; command so ; reintroduce batch mode	2004-06-16 14:49:50 +00:00
peb	9fae09a77c	*** empty log message ***	2004-06-15 18:34:54 +00:00
peb	aa9f1ee7a3	*** empty log message ***	2004-06-15 18:24:17 +00:00
aarne	3fb91e0f44	improved make facility: remember state if fails; does not need source	2004-06-15 13:55:54 +00:00
peb	652618742a	*** empty log message ***	2004-06-10 14:37:43 +00:00
aarne	3522b2a3cd	readfiles	2004-06-10 14:34:07 +00:00
aarne	f07087647e	KeY	2004-06-09 18:43:06 +00:00
janna	63232b6982	*** empty log message ***	2004-06-06 19:57:56 +00:00