This is the mail archive of the cygwin-apps mailing list for the Cygwin project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [ITP] logiweb-0.2.9


Hi Corinna,

http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/setup.hint
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1.tar.bz2
http://logiweb.eu/1.0/doc/download/cygwin/dist/logiweb/logiweb-0.2.9-1-src.tar.bz2

# setup.hint file for the Logiweb package for CYGWIN
sdesc: "a system for electronic distribution of mathematics"
ldesc: "Logiweb allows to web publish 'Logiweb pages', i.e.
journal quality articles which contain machine readable objects
like  programs, testsuites, definitions, axioms, lemmas, and
proofs. Among other, Logiweb is suited for literate programming
and for publication of machine verified proofs. Logiweb allows
Logiweb pages to reference previously published Logiweb pages
such that programs on a page may call programs on referenced
pages, proofs on a page may reference lemmas on referenced
pages, and so on."
category: Devel
requires: Cygwin gcc tetex tetex-base tetex-extra make perl vim
bzip2 diffutils man which

Your package looks basically good with two small exceptions:

Thanks for looking at it


- The binaries lgc and lgwam.exe are both in /bin ...  I'd suggest to
  repackage so that the binaries are in /usr/bin.

OK


- The setup.hint file is not quite ok.

 - The "requires" line in setup.hint contains "Cygwin".  This should be
   removed ...

OK


- The dependencies are not clear to me and seem a bit over the top.

Agreed. What shall I include? These are the dependencies: Runtime: gcc tetex tetex-base tetex-extra Build: make perl vim bzip2 diffutils Tutorial: man which

The system does execl(gcc), so it *really* needs gcc at runtime, c.f.
https://bugzilla.redhat.com/show_bug.cgi?id=584729
Bug 584729  - logiweb must require gcc

The dependency to vim is annoying. But it seems to be the only way to get the xxd utility which is needed for building the package from source.

man and which are just needed if doing the tutorial at http://logiweb.eu

Runtime, build, and tutorial dependencies are stated in the README.

Is
  gcc tetex tetex-base tetex-extra
the right list of dependencies for setup.hint?

Cheers,
Klaus


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]