caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Bikal Gurung <gbikal@gmail.com>
To: Francois BERENGER <francois.berenger@inria.fr>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] OASIS help
Date: Fri, 11 Nov 2016 10:52:59 +0000	[thread overview]
Message-ID: <CA+v7nziAH4AGO6MJtUiGWLh7uNFKDKMuiS5Dh-aF427niAcbcw@mail.gmail.com> (raw)
In-Reply-To: <9dce22c0-5203-b6e3-2e22-884ebc67eba3@inria.fr>

[-- Attachment #1: Type: text/plain, Size: 2583 bytes --]

Alternatively, you could edit _tags file the following after calling oasis
setup.

# OASIS_START
# DO NOT EDIT (digest: d41d8cd98f00b204e9800998ecf8427e)
# OASIS_STOP
*true : use_menhir, explain*

On Thu, Nov 10, 2016 at 9:52 AM, Francois BERENGER <
francois.berenger@inria.fr> wrote:

> On 11/10/2016 10:49 AM, Laurent Thévenoux wrote:
> > OASIS doesn’t generate me a Makefile. Here my _oasis file (a very basic
> start):
>
> Sorry, I forgot: add this line after your License line in your _oasis file:
> Plugins: DevFiles (0.4)
>
> cf. http://oasis.forge.ocamlcore.org/MANUAL.html#plugin-devfiles-extra
>
> > —
> > OASISFormat: 0.4
> > Name:        name
> > Version:     0.1
> > Synopsis:    synopsis
> > Authors:     Laurent
> > License:     CeCILL
> >
> > Executable exe
> >   Path:       src
> >   BuildTools: ocamlbuild
> >   BuildDepends: str
> >   MainIs:     main.ml
> > —
> >
> > Then, I run oasis setup, and, ocaml setup.ml -configure, and finally,
> ocaml setup.ml -build.
> >
> > It fails during the build because ocamlyacc is called to build a menhir
> parser.
> >
> > Did I miss anything?
> >
> > —
> > Laurent
> >
> >> Le 10 nov. 2016 à 10:27, Francois BERENGER <francois.berenger@inria.fr>
> a écrit :
> >>
> >> On 11/10/2016 10:08 AM, Laurent Thévenoux wrote:
> >>> Hello,
> >>>
> >>> I’m trying to use OASIS to configure a project written in OCaml. I
> currently use a Makefile which works fine but doesn’t allow enough
> possibilities. My project uses the menhir parser but OASIS attempts to use
> ocamlyacc.
> >>>
> >>> How can I specify that I need to run ocamlbuild with -use-menhir
> instead of ocamlyacc ?
> >>
> >> Put a BUILFLAGS line as the first line of your Makefile:
> >>
> >> ---
> >> BUILDFLAGS = " -use-menhir "
> >> # OASIS_START
> >> [...]
> >> ---
> >>
> >> This part of the Makefile will be kept by oasis.
> >>
> >> --
> >> Regards,
> >> Francois.
> >> "When in doubt, use more types"
> >>
> >> --
> >> Caml-list mailing list.  Subscription management and archives:
> >> https://sympa.inria.fr/sympa/arc/caml-list
> >> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> >> Bug reports: http://caml.inria.fr/bin/caml-bugs
> >
>
> --
> Regards,
> Francois.
> "When in doubt, use more types"
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa.inria.fr/sympa/arc/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

[-- Attachment #2: Type: text/html, Size: 5527 bytes --]

  reply	other threads:[~2016-11-11 10:53 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <4912b1d7-c491-9462-2220-c08492d1833d@inria.fr>
2016-11-10  9:27 ` Francois BERENGER
2016-11-10  9:49   ` Laurent Thévenoux
2016-11-10  9:52     ` Francois BERENGER
2016-11-11 10:52       ` Bikal Gurung [this message]
2016-11-10  9:08 Laurent Thévenoux
  -- strict thread matches above, loose matches on Subject: below --
2015-02-10 12:58 [Caml-list] oasis help Jiten Pathy
2015-02-10 13:19 ` Jeremie Dimino
2015-02-10 14:07   ` Jiten Pathy
2013-11-06 16:09 [Caml-list] OASIS help Robert Soulé
2013-11-10 21:08 ` Sylvain Le Gall

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CA+v7nziAH4AGO6MJtUiGWLh7uNFKDKMuiS5Dh-aF427niAcbcw@mail.gmail.com \
    --to=gbikal@gmail.com \
    --cc=caml-list@inria.fr \
    --cc=francois.berenger@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).