Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

propagation de la configuratino a camlp4 #2969

Closed
vicuna opened this issue Jul 19, 2004 · 1 comment
Closed

propagation de la configuratino a camlp4 #2969

vicuna opened this issue Jul 19, 2004 · 1 comment
Labels
bug

Comments

@vicuna
Copy link

vicuna commented Jul 19, 2004

Original bug ID: 2969
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Didier Remy
Version: 3.08.0+1
OS: linux
Submission from: morgon.inria.fr (128.93.8.33)

Les options de configurations ne semblent pas e^tre correctement propager à
camlp4.

J'ai fait

    ./configure --prefix=/usr
    make world opt opt.opt
    make install

et camlp4 ne marche pas parce qu'il cherche ses librairies dans

    /usr/local/lib/...

J'ai donc fait à la main

    (cd camlp4; make PREFIX=/usr all opt opt.opt)

puis, à nouveau

    make INSTALL

et ça marche. Quand on regarde csl/Makefile, on ne voit effectivement pas de
propagation des options au moment du make, mais seulement au moment de
l'installation.

Didier
@vicuna
Copy link
Author

vicuna commented Jul 28, 2004

Comment author: administrator

Toplevel configure should pass -prefix option to camlp4 configure script.
Fixed by MM, 2004-07-28.

@vicuna vicuna closed this as completed Jul 28, 2004
@vicuna vicuna added the bug label Mar 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vicuna