syntaxAlchemist/ldmc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

example: use -o option in makefile

Browse source
This commit is contained in:
Michael Sippel 2025-05-16 02:33:17 +02:00
parent 24f9a0f5b5
commit 0c9a4ccc8b
Signed by: senvas
GPG key ID: F96CF119C34B64A6
1 changed files with 5 additions and 5 deletions

10
examples/01-uint-example/makefile
View file

@ -8,13 +8,13 @@ build/morphisms.h: build
ldmc \
-m "marshal: \
ℕ ~ native.UInt64 \
--> ℕ ~ <PosInt 10 BigEndian> ~ <Seq~<ValueTerminated 0> <Digit 10>~Char~Ascii~native.UInt8>" \
\
--> ℕ ~ <PosInt 10 BigEndian> ~ <Seq~<ValueTerminated 0> <Digit 10>~Char~Ascii~native.UInt8> \
" \
-m "demarshal: \
ℕ ~ <PosInt 10 BigEndian> ~ <Seq~<ValueTerminated 0> <Digit 10>~Char~Ascii~native.UInt8> \
--> ℕ ~ native.UInt64 " \
\
>| build/morphisms.h
--> ℕ ~ native.UInt64 \
" \
-o build/morphisms.h
build/square: build build/morphisms.h
gcc -Os -I../../morphisms/runtime/include/ -Ibuild main.c -o build/square