File tree Expand file tree Collapse file tree 4 files changed +10
-21
lines changed
Expand file tree Collapse file tree 4 files changed +10
-21
lines changed Original file line number Diff line number Diff line change @@ -23,7 +23,7 @@ EXTRA_DIST= stdcompat.opam dune stdcompat.ml stdcompat__native.ml_byte \
2323 stdcompat__seq.mli stdcompat__printexc.mli \
2424 stdcompat__either.mli stdcompat__atomic.mli \
2525 stdcompat__unit.mli \
26- stdcompat__in_channel.mli stdcompat__out_channel.mli Makefile.bootstrap VERSION \
26+ stdcompat__in_channel.mli stdcompat__out_channel.mli autogen VERSION \
2727 dune-project dune
2828
2929MODULES = stdcompat__init.ml stdcompat__root.ml \
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -842,7 +842,7 @@ EXTRA_DIST = stdcompat.opam dune stdcompat.ml stdcompat__native.ml_byte \
842842 stdcompat__seq.mli stdcompat__printexc.mli \
843843 stdcompat__either.mli stdcompat__atomic.mli \
844844 stdcompat__unit.mli \
845- stdcompat__in_channel.mli stdcompat__out_channel.mli Makefile.bootstrap VERSION \
845+ stdcompat__in_channel.mli stdcompat__out_channel.mli autogen VERSION \
846846 dune-project dune
847847
848848MODULES = stdcompat__init.ml stdcompat__root.ml \
Original file line number Diff line number Diff line change @@ -69,13 +69,16 @@ definitions.
6969Configure and install
7070---------------------
7171
72- Execute ` make -f Makefile.bootstrap ` first, to generate the files
73- ` configure ` , ` Makefile.in ` and others.
72+ First, configure stdcompat by running its ` ./configure ` script.
7473
75- Then execute ` ./configure ` (or ` ./configure --disable-magic ` to use
76- the pure and less efficient implementation).
74+ Among the options you may want to pass to ` ./configure ` , there is
75+ ` --disable-magic ` to build without using ` Obj.magic ` (that is, to use
76+ the pure but less efficient implementation).
7777
78- Then execute ` make ` and ` make install ` .
78+ Then run ` make ` and ` make install ` .
79+
80+ Alternatively, the package can also be built with the
81+ ` dune build --ignore-promoted-rules ` command.
7982
8083Windows support
8184---------------
You can’t perform that action at this time.
0 commit comments