Update of /cvsroot/fink/dists/10.7/stable/main/finkinfo/sci
In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv17522
Added Files:
saclib.info qepcad.info
Log Message:
Take over saclib and qepcad and port them to 10.7 dist
--- NEW FILE: qepcad.info ---
# DISCLAIMER: Max Horn is the sole maintainer of this package.
# Please DO NOT MAKE MODIFICATIONS without informing the maintainer.
# Preferably, send a patch to me instead of making changes yourself!
# If that is not possible due to extra urgency, at least send me a mail.
#
# Explanation: I am sick and tired of getting back to my packages and
# discovering that people have messed with it. I am then forced to
# retrace their steps, find out who, when and why did make a certain
# change etc. -- i.e. it makes my life as maintainer harder.
# Furthermore, as maintainer I am responsible for problems caused by my
# packages. But I am not willing to take responsibility for something I
# did not do. In particular, for changes that other people introduced
# behind my back, no matter how good and noble their intentions were. As
# such, I may see myself forced to drop responsibility for (and hence,
# maintainership of) the affected package.
Info3: <<
Package: qepcad
#Package: qepcad%type_pkg[compiler]
Version: 1.69
Revision: 5
Architecture: i386, x86_64
# Arch-restriction inherited fom saclib
Source: http://www.usna.edu/cs/~qepcad/INSTALL/%{Ni}-B.%v.tar.gz
Source-MD5: 8eb38dcc186076896837c75f2f206bb8
Source2: http://www.usna.edu/cs/~qepcad/SLFQ/simplify-1.20.tar.gz
Source2-MD5: f9e96cdd51aeb71fd75857f70bf9ef60
SourceDirectory: qesource
# Type: compiler (. -gcc4.7 -gcc4.8 -clang)
#
# Distribution: <<
# (%type_raw[compiler] = -gcc4.7) 10.5,
# (%type_raw[compiler] = -gcc4.7) 10.6,
# (%type_raw[compiler] = -gcc4.7) 10.7,
# (%type_raw[compiler] = -gcc4.7) 10.8,
# (%type_raw[compiler] = -gcc4.8) 10.5,
# (%type_raw[compiler] = -gcc4.8) 10.6,
# (%type_raw[compiler] = -gcc4.8) 10.7,
# (%type_raw[compiler] = -gcc4.8) 10.8,
# (%type_raw[compiler] = -gcc4.8) 10.9,
# # (%type_raw[compiler] = .) TODO,
# # (%type_raw[compiler] = -clang) TODO,
# <<
BuildDepends: <<
fink (>= 0.24.12),
# (%type_raw[compiler] = -clang) clang,
# (%type_raw[compiler] = -gcc4.7) gcc47-compiler,
# (%type_raw[compiler] = -gcc4.8) gcc48-compiler,
# saclib%type_pkg[compiler] (>= 2.2.5-4),
saclib,
readline6,
freeglut,
sed,
flex-devel,
<<
Depends: <<
# (%type_raw[compiler] = -gcc4.4) gcc44-shlibs,
# (%type_raw[compiler] = -gcc4.5) gcc45-shlibs,
# (%type_raw[compiler] = -gcc4.6) gcc46-shlibs,
# (%type_raw[compiler] = -gcc4.7) gcc47-shlibs,
# (%type_raw[compiler] = -gcc4.8) gcc48-shlibs,
readline6-shlibs,
freeglut-shlibs,
singular,
<<
# Conflicts: <<
# (%type_raw[compiler] != .) %{Ni},
# (%type_raw[compiler] != -clang) %{Ni}-clang,
# (%type_raw[compiler] != -gcc4.4) %{Ni}-gcc44,
# (%type_raw[compiler] != -gcc4.5) %{Ni}-gcc45,
# (%type_raw[compiler] != -gcc4.6) %{Ni}-gcc46,
# (%type_raw[compiler] != -gcc4.7) %{Ni}-gcc47,
# (%type_raw[compiler] != -gcc4.8) %{Ni}-gcc48,
# <<
# Replaces: <<
# (%type_raw[compiler] != .) %{Ni},
# (%type_raw[compiler] != -clang) %{Ni}-clang,
# (%type_raw[compiler] != -gcc4.4) %{Ni}-gcc44,
# (%type_raw[compiler] != -gcc4.5) %{Ni}-gcc45,
# (%type_raw[compiler] != -gcc4.6) %{Ni}-gcc46,
# (%type_raw[compiler] != -gcc4.7) %{Ni}-gcc47,
# (%type_raw[compiler] != -gcc4.8) %{Ni}-gcc48,
# <<
#Recommends: saclib%type_pkg[compiler]
Recommends: saclib
# Strictly speaking, the recommends would be a "depends" when using qepcad
under gdb
PatchScript: <<
#!/bin/sh -ev
find . -name '*.o' -exec rm -f \{\} \;
chmod -R a+rX . # else gdb can't find files when not working as root
## no /usr/local
sed -i'' -e 's,#!/usr/local/bin/perl,#!/usr/bin/env perl,'
extensions/{newadj/ps,rend/rgbinfo}.pl
## CFLAGS and LDFLAGS and the like :
# if [ "%type_raw[compiler]" == "." ] ; then
nopic="-mdynamic-no-pic";
# fi
cflags="$nopic -Wall -Wextra -Wstrict-aliasing=2"
# Makefiles don't respect CC or CXX
# if [ "%type_raw[compiler]" == "-clang" ]; then
# CXX=clang++
# elif [ "%type_raw[compiler]" == "-gcc4.7" ]; then
# CXX=g++-fsf-4.7
# elif [ "%type_raw[compiler]" == "-gcc4.8" ]; then
# CXX=g++-fsf-4.8
# else
# CXX=g++
# fi
# find .. -name Makefile -exec sed -i'' -e "s,g[+][+],$CXX,g" \{\} \;
# get rid of gcc47's libgcc_s
if [ `uname -r | cut -f1 -d.` -ge 9 ]; then
LDFLAGS="-Wl,-dead_strip_dylibs";
else
LDFLAGS='';
fi
# to strip binaries ( using "-s" would lead at launch to dyld error "lazy
pointer not found" ):
echo '__mh_execute_header' > symlst
sed -i'' -e "s;(EXE)\|(LIBS);& -Wl,-x -exported_symbols_list %b/symlst
-dead_strip $LDFLAGS;" \
-e "s;(EXED);& $LDFLAGS;" \
-e "s,O4,O3 -fstrict-aliasing $cflags," \
-e "s,= *-g,&gdb3 -gfull $cflags -DNO_SACLIB_MACROS," \
{.,cad2d,plot2d,source}/Makefile extensions/adj2d/new_make
sed -i'' -e "s;O4;O3 -fstrict-aliasing $cflags -Wl,-x -exported_symbols_list
%b/symlst -dead_strip $LDFLAGS;" \
-e "s, -g,&gdb3 -gfull $cflags," ../simplify/Makefile
sed -i'' -e 's,gmake,make,' Makefile
# sed -i'' -e 's,-lreadline,-L%p/lib &,' {../simplify,cad2d,source}/Makefile
# SetLIBRARY_PATH takes care of this
## Now libglut is in (my, at least_ apparently NOT Apple's)) X11 - let us thus
try to get everything from there,
## and save next line in case of trouble with some other X11's. Line IS needed,
for Apple's X11
sed -i'' -e '/^GLBASE/s,/usr,&/X11R6,' -e '/^GLUTBASE/s,/usr,%p,'
plot2d/Makefile
# sed -i'' -e '/^GL\(UT\|\)BASE/s,/usr,&/X11R6,' plot2d/Makefile
## using standard dirs, and no env vars :
sed -i'' -e 's,qepath [+],string("%p/etc") +,' -e
's,default.qepcadrc,qepcadrc,' source/main/BEGINQEPCAD.c
sed -i'' -e 's,qepcad.help,%p/share/%{Ni}/&,' -e 's,/bin/%p,,'
source/userint/HELPFRD.c
sed -i'' -e 's,getenv("qe"),"%p",' source/main/BEGINQEPCAD.c
extensions/rend/PLOT_2D_CAD.cc source/userint/HELPFRD.c
sed -e 's,^#S,S,' -e 's,/usr,%p,' < default.qepcadrc > qepcadrc
sed -i'' -e 's,default\.,%p/etc/,' README
sed -i'' -e 's,#.*\(/libduma.a\),#%p/lib\1,' source/Makefile
# no symbols taken fron libcurses
sed -i'' -e 's, -lcurses,,' ../simplify/Makefile
# missing declaration:
/usr/bin/sed -i'' -e '17a\
int yyparse (fpart* &result);' ../simplify/main_parse.cc
# get -I%p/include after the -I. flags ; additional "-I\${saclib}/include" at
end: also taken care of by CPATH in CompileScript
sed -i'' -e 's,-I\${saclib}/include,,' -e 's,-I\.,& -I\${saclib}/include,'
`find .. -name Makefile`
<<
# We set ourselves the CPPFLAGS, else -I%p/include comes before -I.
NoSetCPPFLAGS: true
SetCPPFLAGS: -I%p/lib/flex/include
NoSetLDFLAGS: true
SetLDFLAGS: -L%p/lib/flex/lib
SetLIBRARY_PATH: %p/lib
UseMaxBuildJobs: false
CompileScript: <<
#!/bin/sh -ev
export PATH="%p/lib/flex/bin:$PATH"
# if [ "%type_raw[compiler]" == "-gcc4.7" ]; then
# export PATH=%p/lib/gcc4.7/bin:$PATH;
# elif [ "%type_raw[compiler]" == "-gcc4.8" ]; then
# export PATH=%p/lib/gcc4.8/bin:$PATH;
# fi
export CPATH=%p/include
export saclib=%p
export qe=`pwd`
make both
## trouble in the following Makefile with fink's make-3.82-1
cd cad2d; /usr/bin/make both; cd -
cd plot2d; make; cd -
cd ../simplify ; make opt parse; cd -
<<
InstallScript: <<
mkdir -p %i/include/%{Ni} %i/lib/%{Ni} %i/bin %i/share/%{Ni}
%i/share/doc/%{Ni}/simplify %i/etc
### headers
# Apple's cp doesn't support "--parents", according to its manpage :
for f in `find . -type f -name '*.h'|sed -e 's,^\./,,'`; do mkdir -p
%i/include/%{Ni}/`dirname $f`; cp -p $f %i/include/%{Ni}/$f ; done
mv %i/include/%{Ni}/source/* %i/include/%{Ni}
sed -ri -e 's,CAServer.h",db/&,' %i/include/%{Ni}/db/CAPolicy.h
sed -ri -e 's,unnamedpipe.h",db/&,' %i/include/%{Ni}/db/SINGULAR.h
mv `find %i/include/%{Ni}/extensions -name '*.h'` %i/include/%{Ni}
mv %i/include/%{Ni}/cad2d/src/cad2d.h %i/include/%{Ni}
sed -ri -e 's,\.\./\.\./extensions/lift2D/,,' %i/include/%{Ni}/cad2d.h
sed -ri -e 's,sac_ext/sac_ext.h,sac_ext.h,' %i/include/%{Ni}/oldadj.h
mv %i/include/%{Ni}/plot2d/Point.h %i/include/%{Ni}
rm -fR %i/include/%{Ni}/{plot2d,cad2d,extensions,source}
cp -p ../simplify/*.h %i/include/%{Ni}
### the rest
cp -p `find . -name '*.a'` %i/lib/%{Ni}
ranlib %i/lib/%{Ni}/*.a
cp -p source/%{Ni}{,d} cad2d/cad2d{,d} plot2d/ADJ2D_plot %i/bin
cp -p source/qepcad.help %i/share/%{Ni}
cp -p qepcadrc %i/etc
cp -p ../simplify/{slfq,parself} %i/bin
cp -pPR ../simplify/{README,examples} %i/share/doc/%{Ni}/simplify
# put docfiles under %{Ni} , for user's convenience
cp -p LICENSE LOG README TODO %i/share/doc/%{Ni}
cp -p cad2d/README %i/share/doc/%{Ni}/README_cad2d
if [ "%N" != "%{Ni}" ] ; then ln -s %{Ni} %i/share/doc/%N ; fi
chmod -R a+rX %i
<<
ConfFiles: %p/etc/qepcadrc
Description: Tarski's Quantifier Elimination
DescUsage: <<
http://www.usna.edu/Users/cs/qepcad/B/user/UsingQEPCAD.html
For instructions on the use of help, type "help" at qepcad's prompt.
Can be spectacular as a simplifier.
E.g., run "slfq -N 20 %p/share/doc/qepcad/simplify/Ex4" to see
what the beast is capable of (+/- 30 min here) - and view input file..
For QE , still limited ..
<<
DescPackaging: <<
Install by hand; there is no install target.
Patch srcs so files can be installed in standard directories
(and so as to avoid having to set additional env vars).
Former versions maintained by JF Mertens, RIP.
<<
License: OSI-Approved
Homepage: http://www.usna.edu/CS/~qepcad/B/QEPCAD.html
Maintainer: Max Horn <m...@quendi.de>
<<
--- NEW FILE: saclib.info ---
# DISCLAIMER: Max Horn is the sole maintainer of this package.
# Please DO NOT MAKE MODIFICATIONS without informing the maintainer.
# Preferably, send a patch to me instead of making changes yourself!
# If that is not possible due to extra urgency, at least send me a mail.
#
# Explanation: I am sick and tired of getting back to my packages and
# discovering that people have messed with it. I am then forced to
# retrace their steps, find out who, when and why did make a certain
# change etc. -- i.e. it makes my life as maintainer harder.
# Furthermore, as maintainer I am responsible for problems caused by my
# packages. But I am not willing to take responsibility for something I
# did not do. In particular, for changes that other people introduced
# behind my back, no matter how good and noble their intentions were. As
# such, I may see myself forced to drop responsibility for (and hence,
# maintainership of) the affected package.
Info3: <<
Package: saclib
#Package: saclib%type_pkg[compiler]
Version: 2.2.5
Revision: 4
Architecture: i386, x86_64
## Would be relatively simple to revive ppc too, if there was any genuine
demand for it..
# But apparently currently abandoned upstream
Source: http://www.usna.edu/cs/~qepcad/INSTALL/%{Ni}%v.tar.gz
Source-MD5: 84bc4f972b1362d635edce8c1ba6bb30
#Type: compiler (. -gcc4.7 -gcc4.8 -clang)
BuildDepends: <<
fink (>= 0.24.12),
# (%type_raw[compiler] = -clang) clang,
# (%type_raw[compiler] = -gcc4.7) gcc47-compiler,
# (%type_raw[compiler] = -gcc4.8) gcc48-compiler,
<<
# Conflicts: <<
# (%type_raw[compiler] != .) %{Ni},
# (%type_raw[compiler] != -clang) %{Ni}-clang,
# (%type_raw[compiler] != -gcc4.4) %{Ni}-gcc44,
# (%type_raw[compiler] != -gcc4.5) %{Ni}-gcc45,
# (%type_raw[compiler] != -gcc4.6) %{Ni}-gcc46,
# (%type_raw[compiler] != -gcc4.7) %{Ni}-gcc47,
# (%type_raw[compiler] != -gcc4.8) %{Ni}-gcc48,
# <<
# Replaces: <<
# (%type_raw[compiler] != .) %{Ni},
# (%type_raw[compiler] != -clang) %{Ni}-clang,
# (%type_raw[compiler] != -gcc4.4) %{Ni}-gcc44,
# (%type_raw[compiler] != -gcc4.5) %{Ni}-gcc45,
# (%type_raw[compiler] != -gcc4.6) %{Ni}-gcc46,
# (%type_raw[compiler] != -gcc4.7) %{Ni}-gcc47,
# (%type_raw[compiler] != -gcc4.8) %{Ni}-gcc48,
# <<
PatchScript: <<
#!/bin/sh -ev
rm -fR RCS
chmod -R a+rX . # else gdb can't find files when not working as root
if [ "%m" = "x86_64" ] ; then
pt=x86_64;
else
pt=x86;
fi
sed -i.bak -e '/macosKernelTest/d' -e "/32-bit or 64-bit/s,$,\n\t\$ptype =
$pt," bin/mksysdep.pl
## powerpc seems excluded in this new version.. To fix if there is any
demand...
## __STDC__ is not an exhaustive test whether the compiler supports
prototypes;
## is defined under FSF gcc, but Apple's defines only __STDC_HOSTED__:
sed -i.bak -e 's,ifdef __STDC__,if defined (__STDC__) || defined
(__APPLE__),' include/sacsys.h src/FAIL.c
### Getting control over CFLAGS ...
# if [ "%type_raw[compiler]" == "." ] ; then
nopic="-mdynamic-no-pic";
# fi
nopic="$nopic -Wno-return-type -Wstrict-prototypes -Wstrict-aliasing=2"
## first line next is to avoid optimizing away the flushing of regs in GC.
sed -i.bak \
-e "/Compiling/,\${
\X%{Ni}/lib/objo\$Xa\\
make CC=\$CC \"SACFLAG=$nopic\" EXTENSION=o GC.o
}" \
-e 's,\(SACFLAG=\)",\1-O3 -fstrict-aliasing",' \
-e 's,=-g ,=-ggdb3 -gfull ,' \
-e "s,SACFLAG=,&$nopic ," bin/mklib
### Some "implicit declaration of function 'GCASET'" warnings (GCASET is also
an apparenly equivalent macro in sacmacros.h ...)
# Why the strange "#ifdef NO_SACLIB_MACROS" under "Macros that are always
defined" in sacmacros.h ?
# Could at least CGASET be moved out of that list ? ( If '#ifdef' is not a
typo for '#ifndef' ...).
## Remain a couple of implicit declaration warnings for FPCATCH, NORMFCT and
NORMLHS; fixed in the CompileScript.
<<
CompileScript: <<
#!/bin/sh -ev
# if [ "%type_raw[compiler]" == "-clang" ] ; then
# export CC=clang CXX=clang++
# elif [ "%type_raw[compiler]" == "-gcc4.7" ] ; then
# export PATH=%p/lib/gcc4.7/bin:$PATH CC=gcc-4 CXX=g++-4
# elif [ "%type_raw[compiler]" == "-gcc4.8" ] ; then
# export PATH=%p/lib/gcc4.8/bin:$PATH CC=gcc-4 CXX=g++-4
# else
# export CC=gcc CXX=g++
# fi
export %{Ni}=%b
bin/sconf
bin/mkproto
## mkproto missed the following (leading a.o. to "implicit declaration"
warnings) :
echo "
extern void FPCATCH P__((void));
extern void GCASET P__((Word A, Word i, Word a));
extern void NORMFCT P__((Word N, Word n, Word p, Word Q, Word Qp, Word q,
Word B, Word L, Word T, Word G, Word C, Word e, Word d, Word k, Word N1, Word
*F_, Word *Nb_, Word *Bb_, Word *Lb_, Word *Tb_, Word *Gb_, Word *Cb_, Word
*Nb1_));
extern void NORMLHS P__((Word q, Word Q, Word Qpp, Word Ab, Word Bb, Word
Sb, Word Tb, Word Ap, Word Bp, Word Yp, Word Zp, Word U, Word D, Word A, Word
B, Word *Qs_, Word *Y_, Word *Z_, Word *Us_, Word *As_, Word *Bs_));" \
>> include/sacproto.h
bin/mkmake
bin/mklib all
<<
InstallScript: <<
#!/bin/sh -ev
mkdir -p %i/bin %i/lib %i/include %i/share/doc/%N %i/share/%{Ni}
cp -p lib/*.a %i/lib
ln -s %{Ni}o.a %i/lib/%{Ni}.a
cp -p include/*.h %i/include
cp -p doc/{,maint_guide/}*.dvi %i/share/doc/%N
# pkg must remain usable if user doesn't keep build-dir, so rm the 'perl'
line :
sed -e '/perl/d' -e 's,[$]%{Ni}/[bindoc]\{3\},%p/share/%{Ni},' < bin/sdesc >
%i/bin/sdesc
chmod a+x %i/bin/sdesc
cp -p bin/{b2l,l2b}.awk doc/*.doc %i/share/%{Ni}
chmod -R a+rX %i
sed -e '/INSTALLATION/,/done\.$/d' -e 's,COPYRIGHT ,LICENSE ,' < README |
uniq > HELP
<<
DocFiles: HELP LICENSE
Description: Computer algebra, specially on ordered fields
DescUsage: <<
To get the elementary equivalent of a man3 page,
use first "sdesc pattern" (with "pattern" eg "Algebraic number field"
_ or "FPCATCH" _ ; it is not case-sensitive) to see what you are looking for,
then grep that (those) items in %p/include/sacproto.h .
<<
DescPackaging: <<
Installation "by hand"; there is no install target.
Former versions maintained by JF Mertens, RIP.
<<
DescPort: <<
Patching the linuxX86 build to apply also on darwin.
Take care of missing headers and missing declarations.
<<
License: OSI-Approved
Homepage: http://www.usna.edu/CS/~qepcad/B/QEPCAD.html
Maintainer: Max Horn <m...@quendi.de>
<<
------------------------------------------------------------------------------
How ServiceNow helps IT people transform IT departments:
1. Consolidate legacy IT systems to a single system of record for IT
2. Standardize and globalize service processes across IT
3. Implement zero-touch automation to replace manual, redundant tasks
http://pubads.g.doubleclick.net/gampad/clk?id=51271111&iu=/4140/ostg.clktrk
_______________________________________________
Fink-commits mailing list
Fink-commits@lists.sourceforge.net
http://news.gmane.org/gmane.os.apple.fink.cvs
