diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

latex to html translator port from SWi.

Browse Source
This commit is contained in:
Vítor Santos Costa 2013-11-18 01:21:21 +00:00
parent f67c7c184b
commit cffef55b61
6 changed files with 267 additions and 183 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitmodules vendored
View File

@ -46,3 +46,6 @@
[submodule "packages/udi"]
path = packages/udi
url = https://github.com/davidvaz/yap-udi-indexers.git
[submodule "packages/ltx2htm"]
path = packages/ltx2htm
url = git://git.code.sf.net/p/yap/ltx2htm

23
Makefile.in
View File

@ -715,19 +715,18 @@ all: startup.yss
@INSTALL_DLLS@ (cd library/tries; $(MAKE))
@ENABLE_CLIB@ @INSTALL_DLLS@ (cd packages/clib; $(MAKE))
@ENABLE_CHR@ (cd packages/chr; $(MAKE))
@ENABLE_HTTP@ @INSTALL_DLLS@ (cd packages/http; $(MAKE))
@ENABLE_LIBARCHIVE@ @INSTALL_DLLS@ (cd packages/archive; $(MAKE))
@ENABLE_LTX2HTM@ @INSTALL_DLLS@ (cd packages/ltx2htm; $(MAKE))
@ENABLE_ODBC@ @INSTALL_DLLS@ (cd packages/odbc; $(MAKE))
@ENABLE_PLDOC@ @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE))
@ENABLE_PLUNIT@ @INSTALL_DLLS@ (cd packages/plunit; $(MAKE))
@ENABLE_R@ @INSTALL_DLLS@ (cd packages/R; $(MAKE))
@ENABLE_RDF@ @INSTALL_DLLS@ (cd packages/RDF; $(MAKE))
@ENABLE_SEMWEB@ @INSTALL_DLLS@ (cd packages/semweb; $(MAKE))
@ENABLE_SGML@ @INSTALL_DLLS@ (cd packages/sgml; $(MAKE))
@ENABLE_REAL@ @INSTALL_DLLS@ (cd packages/real; $(MAKE))
@ENABLE_ZLIB@ @INSTALL_DLLS@ (cd packages/zlib; $(MAKE))
@ENABLE_CLPBN_BP@ @INSTALL_DLLS@ (cd packages/CLPBN/horus; $(MAKE))
@ENABLE_MINISAT@ @INSTALL_DLLS@ (cd packages/swi-minisat2/C; $(MAKE))
@ENABLE_LIBARCHIVE@ @INSTALL_DLLS@ (cd packages/archive; $(MAKE))
@ENABLE_ODBC@ @INSTALL_DLLS@ (cd packages/odbc; $(MAKE))
@ENABLE_ZLIB@ @INSTALL_DLLS@ (cd packages/zlib; $(MAKE))
@ENABLE_CPLINT@ (cd packages/cplint/approx/simplecuddLPADs; $(MAKE))
@ENABLE_CPLINT@ (cd packages/cplint; $(MAKE))
@ENABLE_CPLINT@ (cd packages/cplint/slipcase; $(MAKE))
@ -791,18 +790,17 @@ install_unix: startup.yss @YAPLIB@
@ENABLE_CLIB@ @INSTALL_DLLS@ (cd packages/clib; $(MAKE) install)
@ENABLE_HTTP@ @INSTALL_DLLS@ (cd packages/http; $(MAKE) install)
@ENABLE_HTTP@ @INSTALL_DLLS@ (cd packages/http; $(MAKE) install-examples)
@ENABLE_LIBARCHIVE@ @INSTALL_DLLS@ (cd packages/archive; $(MAKE) install)
@ENABLE_LTX2HTM@ @INSTALL_DLLS@ (cd packages/ltx2htm; $(MAKE) install)
@ENABLE_ODBC@ @INSTALL_DLLS@ (cd packages/odbc; $(MAKE) install)
@ENABLE_PLDOC@ @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE) install)
@ENABLE_PLDOC@ @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE) install-examples)
@ENABLE_PLUNIT@ @INSTALL_DLLS@ (cd packages/plunit; $(MAKE) install)
@ENABLE_PLUNIT@ @INSTALL_DLLS@ (cd packages/plunit; $(MAKE) install-examples)
@ENABLE_R@ @INSTALL_DLLS@ (cd packages/R; $(MAKE) install)
@ENABLE_R@ @INSTALL_DLLS@ (cd packages/R; $(MAKE) install-examples)
@ENABLE_RDF@ @INSTALL_DLLS@ (cd packages/RDF; $(MAKE) install)
@ENABLE_SEMWEB@ @INSTALL_DLLS@ (cd packages/semweb; $(MAKE) install)
@ENABLE_SGML@ @INSTALL_DLLS@ (cd packages/sgml; $(MAKE) install)
@ENABLE_ZLIB@ @INSTALL_DLLS@ (cd packages/zlib; $(MAKE) install)
@ENABLE_LIBARCHIVE@ @INSTALL_DLLS@ (cd packages/archive; $(MAKE) install)
@ENABLE_ODBC@ @INSTALL_DLLS@ (cd packages/odbc; $(MAKE) install)
@ENABLE_CLPBN_BP@ @INSTALL_DLLS@ (cd packages/CLPBN/horus; $(MAKE) install)
@ENABLE_MINISAT@ @INSTALL_DLLS@ (cd packages/swi-minisat2/C; $(MAKE) install)
@INSTALL_MATLAB@ @INSTALL_DLLS@ (cd library/matlab; $(MAKE) install)
@ -858,7 +856,6 @@ install_win32: startup.yss @ENABLE_WINCONSOLE@ yap-win@EXEC_SUFFIX@
@INSTALL_DLLS@ (cd packages/yap-lbfgs; $(MAKE) install)
@ENABLE_WINCONSOLE@ (cd swi/console; $(MAKE) install)
@INSTALL_MATLAB@ (cd library/matlab; $(MAKE) install)
@ENABLE_REAL@ (cd packages/real; $(MAKE) install)
(cd library/tries; $(MAKE) install)
@ENABLE_CLIB@ (cd packages/clib; $(MAKE) install)
@ENABLE_PLDOC@ (cd packages/pldoc; $(MAKE) install)
@ -866,9 +863,8 @@ install_win32: startup.yss @ENABLE_WINCONSOLE@ yap-win@EXEC_SUFFIX@
@ENABLE_PLUNIT@ (cd packages/plunit; $(MAKE) install)
@ENABLE_PLUNIT@ (cd packages/plunit; $(MAKE) install-examples)
@ENABLE_HTTP@ (cd packages/http; $(MAKE) install)
@ENABLE_HTTP@ (cd packages/http; $(MAKE) install-examples)
@ENABLE_R@ (cd packages/R; $(MAKE) install)
@ENABLE_R@ (cd packages/R; $(MAKE) install-examples)
@ENABLE_LTX2HTM@ (cd packages/ltx2htm; $(MAKE) install)
@ENABLE_REAL@ (cd packages/real; $(MAKE) install)
@ENABLE_RDF@ (cd packages/RDF; $(MAKE) install)
@ENABLE_SEMWEB@ (cd packages/semweb; $(MAKE) install)
@ENABLE_SGML@ (cd packages/sgml; $(MAKE) install)
@ -933,6 +929,7 @@ clean: clean_docs
@INSTALL_DLLS@ (cd library/system; $(MAKE) clean)
@INSTALL_DLLS@ (cd library/tries; $(MAKE) clean)
@ENABLE_CLIB@ @INSTALL_DLLS@ (cd packages/clib; $(MAKE) clean)
@ENABLE_LTX2HTM@ @INSTALL_DLLS@ (cd packages/ltx2htm; $(MAKE) clean)
@ENABLE_HTTP@ @INSTALL_DLLS@ (cd packages/http; $(MAKE) clean)
@ENABLE_PLDOC@ @INSTALL_DLLS@ (cd packages/pldoc; $(MAKE) clean)
@ENABLE_PLUNIT@ @INSTALL_DLLS@ (cd packages/plunit; $(MAKE) clean)

402
configure vendored
View File

File diff suppressed because it is too large Load Diff

19
configure.in
View File

@ -712,6 +712,12 @@ else
ENABLE_RDF="@# "
fi
if test -e "$srcdir"/packages/ltx2htm/Makefile.in; then
ENABLE_LTX2HTM=""
else
ENABLE_LTX2HTM="@# "
fi
if test -e "$srcdir"/packages/semweb/Makefile.in; then
ENABLE_SEMWEB=""
else
@ -1338,6 +1344,7 @@ AC_SUBST(ENABLE_CLIB)
AC_SUBST(ENABLE_CLPQR)
AC_SUBST(ENABLE_HTTP)
AC_SUBST(ENABLE_JPL)
AC_SUBST(ENABLE_LTX2HTM)
AC_SUBST(ENABLE_PLDOC)
AC_SUBST(ENABLE_PLUNIT)
AC_SUBST(ENABLE_R)
@ -1861,6 +1868,13 @@ elif test -e "$srcdir"/packages/jpl/Makefile.in; then
fi
if test -e "$srcdir"/packages/ltx2htm/Makefile.in; then
ENABLE_LTX22HTM=""
m4_include([packages/ltx2htm/configure.in])
else
ENABLE_LTX2HTM="@# "
fi
m4_include([packages/gecode/configure.in])
@ -1912,6 +1926,7 @@ mkdir -p packages/jpl/src/java/jpl/fli
mkdir -p packages/jpl/src/java/jpl/test
mkdir -p packages/jpl/examples
mkdir -p packages/jpl/examples/java
mkdir -p packages/ltx2htm
mkdir -p packages/meld
mkdir -p packages/PLStream
mkdir -p packages/PLStream/libtai
@ -1986,6 +2001,10 @@ if test "$ENABLE_JPL" = ""; then
AC_CONFIG_FILES([packages/jpl/Makefile packages/jpl/src/java/Makefile ])
fi
if test "$ENABLE_LTX2HTM" = ""; then
AC_CONFIG_FILES([ packages/ltx2htm/Makefile packages/ltx2htm/latex2html])
fi
if test "$ENABLE_PLDOC" = ""; then
AC_CONFIG_FILES([packages/pldoc/Makefile])
AC_CONFIG_FILES([packages/pldoc/server/man_server.pl])

2
packages/Makefile.defs.in
View File

@ -48,7 +48,7 @@ html::
endif
$(HTML): $(TEX)
latex2html -rootdir `pwd` -split 0 $(DOC)
$(bindir)/latex2html $(DOC)
$(PDF): $(TEX)
$(srcdir)/../../man/runtex --pdf $(DOC)

1
packages/ltx2htm Submodule

@ -0,0 +1 @@
Subproject commit 3beb448f9707a494d539b805d774b91f00ca5b8e