build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/x86_64-unknown-linux-gnu/bin/lisp --script # FASL compiled from "stage1/translator.clisp" using SBCL version 1.2.14.debian � X86-64N 1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)PP R O C L A I M PO P T I M I Z E PS P E E D 8#� A x i o m C o r e �C O M P I L E - T I M E - P 7 ��i m p o r t M o d u l e �i n c l u d e r 8#�#�#�#7 ��s c a n n e r 8#�#�#�#7 ��p i l e 8#�#�#�#7 ��p a r s e r 8#�#�#�#7 ��a s t 8#�#�#�PS E T P * P A C K A G E * �B O O T T R A N ,8PP R O V I D E � t r a n s l a t o r 8PE X P O R T �B O O T T R A N �e v a l B o o t F i l e �l o a d N a t i v e M o d u l e �l o a d S y s t e m R u n t i m e C o r e �s t r i n g 2 B o o t T r e e �g e n I m p o r t D e c l a r a t i o n �r e t a i n F i l e ? 8�S B - I M P L � % D E F P A R A M E T E R �$ c u r r e n t M o d u l e N a m e # # �`/ p r o j e c t s / 7 7 7 5 0 c 7 1 - e c 7 b - 4 9 6 2 - b f 5 5 - a 4 9 f f 5 0 6 5 f b 6 / o p e n - a x i o m - b u i l d / s r c / b o o t / s t a g e 1 / t r a n s l a t o r . c l i s p o 0 8�$ f o r e i g n s D e f s F o r C L i s p # # 0 8�% D E F U N �r e a l l y P r e t t y P r i n t >$ �p r e t t y P r i n t <PT E R P R I <P* S T A N D A R D - O U T P U T * # "� #VTS T A N D A R D TM I N I M A L ##$"� #$" #$" \ TE X T E R N A L �S B - C �+T L - X E P # q 0 #a"� "� #j'#�+ O P T I O N A L - A R G S # \ ##�s t " " #�x " "M \ #.0 "� "� "� "� '(##$" \ TO P T I O N A L �+&