Consenso all'uso dei cookies

SITO1 -- SITO2 -- Forum2 -- CercaGlobale -- Informativa su Cookie e Privacy

Questo Forum1 è in sola lettura -- Usa il Forum2


Valutazione discussione:
  • 0 voto(i) - 0 media
  • 1
  • 2
  • 3
  • 4
  • 5
Installare pacchetto GNUProlog
#1
Salve, dopo avere  tratto in passato molte utili informazioni, vorrei sperimentare come utente questo bel sito su Linux. Ho un problema con un file tar.gz di un interprete Prolog standard. Ho scompattato "gprolog-1.4.4" in una directoy Lubuntu, ma ./configure non da nulla (in effetti ci dovrebbe essere (v. sotto istruzioni in inglese) il file di configurazione all'interno). Quindi neanche make e make install danno risultato.

Codice:
zorro@zorro-Aspire-1350:/home/navigazione/Scaricati/gprolog-1.4.4$ make
make: *** No targets specified and no makefile found.  Stop.


eppure l'interprete dovrebbe essere installabile su Lubuntu.


Codice:
3) Configuration
----------------

GNU Prolog uses autoconf. To configure the package:

  ./configure [OPTIONS]

This script attempts to guess correct values for various system-dependent
variables used during compilation. For more detail about autoconf refer to
src/AUTOCONF-INFO (try also './configure --help'). The GNU-Prolog specific
options are:

Options to control the installation directory:

  --with-install-dir=INSTALL_DIR  specify INSTALL_DIR
  --prefix=PREFIX                 specify PREFIX (INSTALL_DIR=PREFIX/gprolog-xxx)
  --prefix=in-place               specify an in-place installation

  Default: --prefix=/usr/local

Options to control the location of links to binaries:

  --with-links-dir=LINKS_DIR      specify LINKS_DIR
  --without-links-dir             do not create link to binaries
  --exec-prefix=EPREFIX           specify EPREFIX (LINKS_DIR=EPREFIX/bin)

  Default: --exec-prefix=PREFIX
           (links are not installed for an in-place installation).

Options to control the location of other components:

 --with-doc-dir=DOC_DIR           specify DOC_DIR
 --without-doc-dir                do not install the documentation

 --with-html-dir=HTML_DIR         specify HTML_DIR
 --without-thml-dir               do not install the HTML documentation

 --with-examples-dir=EXAMPLES_DIR specify EXAMPLESS_DIR
 --without-examples-dir           do not install the examples

  Defaults: INSTALL_DIR/doc for DOC_DIR, DOC_DIR/Html for HTML_DIR
            INSTALL_DIR for EXAMPLES_DIR
            (these components are not installed for an in-place installation).

Options to control C compiler optimization flags:

  --with-msvc                use MSVC++ compiler under Win32 (else use gcc)

  --without-c-flags          do not use any optimization flag
  --with-c-flags             use default C optimization flags
  --with-c-flags=CFLAGS      use CFLAGS (instead of default optimization flags)
  --with-c-flags=debug       use C debug flags (e.g. '-g -Wall' for gcc)

  Default: --with-c-flags

Options to control GNU features to include/exclude:

  --disable-regs             do not use machine registers to optimize speed
  --enable-ebp               use the ebp register on ix86 machines
  --disable-fast-call        do not use fast call mechanism for ix86 processors
  --disable-linedit          do not include line editor facility
  --disable-piped-consult    do not pipe stdin of pl2wam when consult/1
  --disable-sockets          do not include sockets facility
  --disable-fd-solver        do not include the finite domain constraint solver
  --disable-gui-console      do not use a GUI console (only with MSVC++ or MinGW)
  --disable-htmlhelp         do not use HtmlHelp in the GUI Console
  --enable-htmlhelp[=static] use HtmlHelp statically  linked (default)
  --enable-htmlhelp=dynamic  use HtmlHelp dynamically linked

  Default: all features are included.


Some examples of using configure:

To configure the package for an installation in the default directory
/usr/local and links to binaries in /usr/local/bin:

  ./configure

To configure the package for an installation in the home directory with
linked files in ~/bin/i586 use

  ./configure --prefix=$HOME --with-links-dir=$HOME/bin/i586

To configure the package for an in-place installation:

  ./configure --prefix=in-place


4) Compiling the package locally
--------------------------------

To locally compile the package:

  make


5) Installing the package
-------------------------

To install the package according to options given to ./configure (see 2):

  make install

You can either install stripped versions of the binaries (whose size is then
reduced):

  make install-strip

It is possible to re-run './configure' to change the value of some
installation directories (see 2) after the local compilation (i.e. the
compilation will not be done again).
Cita messaggio
#2
Gentilmente riposta la tua richiesta nel nuovo Forum2:

http://www.istitutomajorana.it/forum/Thr...IL-FORUM-2

Prima devi registrarti, se non già provveduto.

Questo forum tra un poco resterà in sola lettura.

Grazie.
Cita messaggio


Vai al forum:


Utenti che stanno guardando questa discussione: 1 Ospite(i)