myatscc(1)

✨ myatscc — the manual page, but make it cute ✨

okay bestie, welcome to myatscc(1), a general commands manual page 💖 this is the glow-up of a totally normal Unix manpage and I'm obsessed with it. no cap, by the end you'll be compiling ATS like it's nothing 🦋

---

🌸 NAME 🌸

myatscc — Simple ATS2 compiler frontend 💅

---

🎀 SYNOPSIS 🎀

myatscc [options] files...

---

✨ DESCRIPTION ✨

okay so listen 🫶 myatscc is a frontend, and its whole entire job is to make compiling ATS source code way less of a struggle. she's giving helpful older sister energy, fr fr.

the way that she works is: you hand her any .dats file on the command-line, and she attempts to figure out the necessary flags to compile it all by herself. no you-doing-mental-flag-math required 😭 she just gets it.

and here's the iconic part 👑 there's a special comment-based syntax for telling the myatscc frontend what options you want. you literally write those comments directly into the source file that's gonna be compiled. the code tells on itself, iykyk 🧚

---

💅 OPTIONS 💅

• --dry — she shows you the commands that myatscc would generate, without actually running them. window shopping for shell commands, so valid ✨
• --gc — for use of the Boehm garbage collector for malloc. yes, the Boehm gc, she's iconic in her own way 🍓
• --help — show usage information. the classic "help me bestie" flag, never fails 🙈

---

🌈 EXAMPLES 🌈

so whatever you need for compiling foo.dats? it should be written as some form of comment inside foo.dats itself. putting it in the file, not in your terminal history like a gremlin. love that for us 💜

for instance, this following comment is assumed to be the default (like, if nothing is given explicitly):

(*
##myatsccdef=
patscc -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o $fname($1) $1
*)

then on the command line, the file may be compiled with:

myatscc foo.dats

and that's it. that's the whole vibe check and it passed ⭐

---

👑 SEE ALSO 👑

• patsopt(1)
• patscc(1)

these programs are documented fully by The ATS2/Postiats user's manual, available via the web at http://www.ats-lang.org/ 🌐 go read it, it's giving thorough.

---

💖 AUTHOR 💖

myatscc was written by Hongwei Xi. 🫶

this manual page was written by Matthew Danish <mrd@debian.org>, for the Debian project (and may be used by others). slay, honestly 💅

---

aaaand that's the whole page, bestie!! 🎀 this was myatscc(1) from the General Commands Manual, dated July 30, 2018 — screenshot it, bookmark it, tattoo it, whatever, just go compile something cute 🔥💖✨