Commit Graph

2 Commits (master)

Author SHA1 Message Date
Gabriel Scherer 7712a919e3 [minor] fix dune build
The script would previously use `grep 'ARCH=' Makefile.config` to
locate the ARCH-setting line of the configuration. But now the
configuration looks like this

    ### Set ARCH=none if your machine is not supported
    ARCH=amd64

and the 'grep' call trips up on the comment. This commit uses '^ARCH'
instead. Hopefully that is portable to other system's `grep` command.
2019-01-08 15:02:09 +01:00
Thomas Refis d68e0e2077
Provide a way to build the bytecode compiler using Dune (#2093) 2018-10-10 16:16:00 +01:00