corwin-of-amber on v8.15+packaging-fixes
[meta] Updated CHANGES. (compare)
corwin-of-amber on v8.15+packaging-fixes
[doc] Added link to Coqoban. (compare)
corwin-of-amber on v8.15+packaging-fixes
[port] Adjust for newer OPAM + … (compare)
corwin-of-amber on v8.15+packaging-fixes
[oops] Stray `console.warn`. (compare)
ejgallego on v8.15+landing-page
corwin-of-amber on v8.15
[doc] [cleanup] Made sqrt2 main… [doc] Landing page navbar. As … [ui] Some styling corrections. … and 16 more (compare)
corwin-of-amber on v8.15+packaging-fixes
[feature] Worker load progress.… (compare)
corwin-of-amber on v8.15+packaging-fixes
[doc] Minor tweak. [doc] Some flare. `<kbd>` form… [doc] Completely shift the focu… and 5 more (compare)
corwin-of-amber on v8.15+landing-page
[bugfix] Some inconsistent beha… [feature] [jscoqdoc] Accept a u… [gfx] Replaced book icon with t… (compare)
corwin-of-amber on v8.15+landing-page
[doc] Fixed the reference to ru… (compare)
corwin-of-amber on v8.15+packaging-fixes
[build] Support for incremental… (compare)
corwin-of-amber on v8.15
[docs] SDK demo cosmetics. Mad… [feature] SDK wrapper script. … [doc] Added a main file to sdk … and 12 more (compare)
corwin-of-amber on v8.15+packaging-fixes
[doc] Completely shift the focu… (compare)
corwin-of-amber on v8.15+landing-page
[doc] Completely shift the focu… (compare)
corwin-of-amber on v8.15+packaging-fixes
[build] Reduced the hazard leve… (compare)
npm install
them individually
./etc/toolchain-setup.sh
. See https://github.com/jscoq/jscoq/blob/v8.12/docs/build.md for detailed instructions.
gcc -m32 hello.c
.)gcc-multilib
. Alternatively you can choose the 64-bit route:% ./etc/toolchain-setup.sh --64
OK, I tried 64bit-way. «./etc/toolchain-setup.sh --64» → OK.
But
«««
make jscoq
dune build @jscoq --workspace=/home/stas/projects/blockchain/jscoq//dune-workspace-64
make: execvp: dune: Permission denied
»»»
I see, that it tried to run «./dune», which does not look like executable, but as like DSL for building system.
What else I missed?
toolchain-setup.sh
; perhaps your path is not set up for opam? try eval $(opam env)
the program called dune, which is like GNU make for OCaml (and @ejgallego would add: for everything else too)
Indeed it is a general-purpose build engine, a bit incomparable with make; if you follow the classification from "Build systems à la carte", Dune sits in an interesting spot; once the rule engine is declared stable and people use the API we will see how it works for other use cases; shake has been pretty popular for example.
IIANM most large projects have migrated from make long time ago, indeed make works really bad for one of the use cases Dune was designed for: build of large set of independent packages.
It is a bit of a bore to use during development, since it pulls the source from Github
I was thinking of actually using the image with the dev tools, but before the actual build is, and login into the dev env this way, I'll see.