Scriptify

malc committed 6 years ago

Commit b4e17da1 parent 1a52b692 files · +12 −12Browse files

Unified · Split

2 files

misc/notes/cmi.sh +12 −0
misc/notes/cmi.txt +0 −12

misc/notes/cmi.sh+12−0

@@ -0,0 +1,12 @@
		1	#!/bin/sh
		2	set -eu
		3
		4	# On why wsi.mli is symlinked from the root to wsi/_platform_/wsi.mli
		5
		6	mkdir -p /tmp/cmi/{d,b/d}
		7	cd /tmp/cmi
		8	touch a.mli d/a.ml
		9	ocamlc -c -I b/ -o b/a.cmi a.mli
		10	ocamlc -c -I b/ -o b/d/a.cmo d/a.ml
		11
		12	# after running this script a.cmi will be in b/ and in b/d

misc/notes/cmi.txt+0−12

@@ -1,12 +0,0 @@
1	On why wsi.mli is symlinked from the root to wsi/_platform_/wsi.mli
2
3	#!/bin/sh
4	set -eu
5
6	mkdir -p /tmp/cmi/{d,b/d}
7	cd /tmp/cmi
8	touch a.mli d/a.ml
9	ocamlc -c -I b/ -o b/a.cmi a.mli
10	ocamlc -c -I b/ -o b/d/a.cmo d/a.ml
11
12	after running the above script a.cmi will be in b/ and in b/d