basmati - jasmin compiler in a container

Yawning Angel yawning@schwanenlied.me

This is the jasmin compiler and dependencies packaged in a container in an attempt to make it easy to do development WITH jasmin, for people that don't neccecarily want to install nix or OPAM on their system, based on the quick start instructions by Peter Schwabe.

This has been developed on an envrionment with podman instead of docker however, docker should work, and will probably work better than podman because the bind-mount situation is less nightmarish. If you are stuck using podman, read the contents of storage.conf.podman before building the container image.

Dockerfile arguments

Argument	Default value	Description
OPAM_UID	1000	uid of the opam user
OPAM_GID	1000	gid of the opam user
JASMIN_GIT_CHECKOUT	main	jasmin branch/tag/commit to checkout
JASMIN_FORCE	no	force rebuild of the jasmin layer

basmati-shell

A handy shell-script is provided that will spawn the container with the current working directory bind-mounted in. This assumes that the docker image is tagged as basmati, and is sufficient for building the quickstart example, and even compile/testing libjade.

ypres :: Documents/Development/basmati % cd example
ypres :: Development/basmati/example % ../basmati-shell
opam@771e24689603:/data$ make
jasminc -o addvec.s -lea addvec.jazz
"addvec.jazz", line 64 (2-28)
warning: extra assignment introduced:
           RAX = #LEA_64((RSP + ((64u) 1536))); /* :r */
"addvec.jazz", line 64 (2-28)
warning: extra assignment introduced:
           RCX = #LEA_64((RSP + ((64u) 512))); /* :r */
"addvec.jazz", line 64 (2-28)
warning: extra assignment introduced:
           R8 = #MOV_64(RSP); /* :r */
"addvec.jazz", line 65 (2-30)
warning: extra assignment introduced:
           RAX = #LEA_64((RSP + ((64u) 2048))); /* :r */
"addvec.jazz", line 65 (2-30)
warning: extra assignment introduced:
           RCX = #LEA_64((RSP + ((64u) 512))); /* :r */
"addvec.jazz", line 65 (2-30)
warning: extra assignment introduced:
           R8 = #MOV_64(RSP); /* :r */
"addvec.jazz", line 66 (2-29)
warning: extra assignment introduced:
           RAX = #LEA_64((RSP + ((64u) 1024))); /* :r */
"addvec.jazz", line 66 (2-29)
warning: extra assignment introduced:
           RCX = #LEA_64((RSP + ((64u) 512))); /* :r */
"addvec.jazz", line 66 (2-29)
warning: extra assignment introduced:
           R8 = #MOV_64(RSP); /* :r */
gcc -Wall -Wextra -Wpedantic main.c addvec.s -o main
opam@771e24689603:/data$ ./main
opam@771e24689603:/data$

Configuration environment variables

Variable	Default value	Description
BASMATI_IMAGE_TAG	basmati	container image tag/hash
BASMATI_CONTAINER_CMD	(autodetects)	container tool executable
BASMATI_SELINUX	(unset)	configure the SELinux label