talimat 1.0 KB

1234567891011121314151617181920212223242526272829303132333435363738
  1. # Tanım: GNU Prolog
  2. # URL: http://www.gprolog.org/
  3. # Paketçi: milisarge
  4. # Gerekler:
  5. # Grup: geliştirme
  6. isim=gprolog
  7. surum=1.4.4
  8. devir=1
  9. kaynak=(ftp://ftp.gnu.org/gnu/gprolog/gprolog-1.4.4.tar.gz
  10. gprolog-pic.patch)
  11. derle() {
  12. cd $isim-$surum
  13. patch -p1 -i ../gprolog-pic.patch # compile with PIC
  14. cd "$SRC/gprolog-$surum/src"
  15. ./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var --with-c-flags="$CFLAGS"
  16. make
  17. cd "$SRC/gprolog-$surum/src"
  18. make install \
  19. INSTALL_DIR="$PKG"/usr/share/gprolog \
  20. LINKS_DIR="$PKG"/usr/bin \
  21. DOC_DIR="$PKG"/usr/share/gprolog/doc \
  22. HTML_DIR="$PKG"/usr/share/gprolog/doc/Html \
  23. EXAMPLES_DIR="$PKG"/usr/share/gprolog \
  24. sysconfdir="$PKG"/etc \
  25. localstatedir="$PKG"/var
  26. cd "$PKG"/usr/bin
  27. rm *
  28. ln -s /usr/share/gprolog/bin/fd2c
  29. ln -s /usr/share/gprolog/bin/gplc
  30. ln -s /usr/share/gprolog/bin/gprolog
  31. ln -s /usr/share/gprolog/bin/hexgplc
  32. ln -s /usr/share/gprolog/bin/ma2asm
  33. ln -s /usr/share/gprolog/bin/pl2wam
  34. ln -s /usr/share/gprolog/bin/wam2ma
  35. }