From maeder at tzi.de Thu Jun 2 20:46:36 2005 From: maeder at tzi.de (Christian Maeder) Date: Thu Jun 2 20:46:42 2005 Subject: [Hets-devel] update programatica Message-ID: <429F540C.2080906@tzi.de> Hi, programatica changed again. The new files Comorphisms/Hs2HOLCF.hs and Comorphisms/HasCASL2Haskell.hs need a programatica update: Thanks to Thomas Hallgren only a single file needs to be patched and that is done by our Makefile. So you can simple check out programatica directly by: cvs -d :pserver:anoncvs@glass.cse.ogi.edu:/cvs \ co programatica/tools/base cvs -d :pserver:anoncvs@glass.cse.ogi.edu:/cvs \ co programatica/tools/property (But there is also an updated file /home/cofi/programatica.tgz) Cheers Christian From till at informatik.uni-bremen.de Mon Jun 13 15:39:03 2005 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Mon Jun 13 15:39:21 2005 Subject: [Hets-devel] Problem with ATC modules Message-ID: <42AD8C77.4000602@informatik.uni-bremen.de> Hi, after a cvs up, I got the following problem: Chasing modules from: hets.hs Could not find module `ATC.BasicProof': use -v to see a list of the files searched for (imported from ./ATC/Proofs.hs) make: *** [hets] Fehler 1 till@sohn-rethel:~/CASL/HetCATS> It seems that this is caused by a change of the module structure. A "make distclean" does not help. Of course, a completely new checkout helps, but this is unacceptable. I have encountered such a problem several times. Each time I manually have deleted some ATC files, and then it worked again. This should be definitely done by "make distclean", and not by each developer manually. Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From till at informatik.uni-bremen.de Mon Jun 13 16:05:47 2005 From: till at informatik.uni-bremen.de (Till Mossakowski) Date: Mon Jun 13 16:06:00 2005 Subject: [Hets-devel] Maintainers Message-ID: <42AD92BB.4000909@informatik.uni-bremen.de> Dear Hetters, I have just added maintainers to all Hets files. The goal is to ban "hets@tzi.de" as maintainer, and instead assign an individual to each module, who is responsible (and who should be consulted if major modifications are planned). Please check if the maintainer list is appropriate. Greetings, Till -- Till Mossakowski Phone +49-421-218-4683 Dept. of Computer Science Fax +49-421-218-3054 University of Bremen till@tzi.de P.O.Box 330440, D-28334 Bremen http://www.tzi.de/~till From maeder at tzi.de Mon Jun 13 17:16:52 2005 From: maeder at tzi.de (Christian Maeder) Date: Mon Jun 13 17:16:55 2005 Subject: [Hets-devel] Problem with ATC modules In-Reply-To: <42AD8C77.4000602@informatik.uni-bremen.de> References: <42AD8C77.4000602@informatik.uni-bremen.de> Message-ID: <42ADA364.4070208@tzi.de> Till Mossakowski wrote: > Hi, > > after a cvs up, I got the following problem: > > Chasing modules from: hets.hs > Could not find module `ATC.BasicProof': > use -v to see a list of the files searched for > (imported from ./ATC/Proofs.hs) > make: *** [hets] Fehler 1 > till@sohn-rethel:~/CASL/HetCATS> That was my error. I simply forgot to add this file to the repository > It seems that this is caused by a change of the module structure. > A "make distclean" does not help. > Of course, a completely new checkout helps, but this is > unacceptable. > I have encountered such a problem several times. Each time I > manually have deleted some ATC files, and then it worked again. > This should be definitely done by "make distclean", and not > by each developer manually. These (old) ATC problems should not occur again, because I've restructured utils/GenerateRules (and the Makefile) ATC/*.header.hs are no longer necessary, instead plain Haskell files must be written (and can then be imported via the "-i" option of genRules) Christian From luettich at tzi.de Mon Jun 13 19:04:15 2005 From: luettich at tzi.de (Klaus =?ISO-8859-15?Q?L=FCttich?=) Date: Mon Jun 13 19:04:26 2005 Subject: [Hets-devel] Maintainers In-Reply-To: <42AD92BB.4000909@informatik.uni-bremen.de> References: <42AD92BB.4000909@informatik.uni-bremen.de> Message-ID: <20050613190415.33256f43.luettich@tzi.de> On Mon, 13 Jun 2005 16:05:47 +0200 Till Mossakowski wrote: > Please check if the maintainer list is appropriate. And the maintainer list is generated by 'make hets_maintainers.txt'. Have fun, Klaus -- Klaus L?ttich Email: luettich@tzi.de FB 3 Phone: +49-421-218-7129 Uni Bremen Room: MZH 8120 From maeder at tzi.de Wed Jun 15 14:16:02 2005 From: maeder at tzi.de (Christian Maeder) Date: Wed Jun 15 14:16:21 2005 Subject: [Hets-devel] License Message-ID: <42B01C02.8030206@tzi.de> Hi Hetters, don't be surprised when almost all files will be patched by a next "cvs up". We have to replace "Licence" with "License" (for the next version of haddock) Cheers Christian P.S. as a sideeffect some missing final newlines will be added From maeder at tzi.de Thu Jun 23 11:30:22 2005 From: maeder at tzi.de (Christian Maeder) Date: Thu Jun 23 11:30:37 2005 Subject: [Hets-devel] HetCATS/utils Message-ID: <42BA812E.1050505@tzi.de> Hi, I want to remove the following files and directories in HetCATS/utils utils/ag utils/cp_binary.mk utils/haddock utils/AG-src/ utils/hd-lib/ also haterm-1.0/ don't seem to be needed (maybe, except for documentation purposes) The files will remain in the cvs history. The main reason for the deletion is to avoid unnecessary/confusing files after checkout or update. Any objections? (I'll wait till Monday) Christian