2019-04-21 20:14:35<br /><br />	Building Musltronic GNAT: Part 1<br />	Recently, <a href="http://www.mod6.net/2019/March/03/a_cuntoo_adventure_part2.html">I built</a> a working <a href="http://trinque.org/2018/11/27/cuntoo-bootstrapper/">Cuntoo</a> workstation for testing.  After this, I wanted to continue building Republican tooling on this workstation.  Now that we have a proper <a href="http://ossasepia.com/2018/11/13/v-with-vtools-keccak-hashes-and-its-own-tree/">keccak-vtron</a>, which requires Ada to build, I wanted to get <a href="http://wot.deedbot.org/57EE94EA6F2049A47DAFA8568F4CE8F777BC59F9.html">ave1</a>'s <a href="http://ave1.org/2018/building-gnat-on-musl-now-with-partial-and-parallel-build-support/">musltronic GNAT</a> built statically, so I could try it out on my Cuntoo box.  I began with ave1's version 2018-05-15, and this post discusses this version explicitly.  In another post, I'll write up my findings when building his latest, 2018-09-24. <br /><br />There has been much forum discussion surrounding the musltronic GNAT.  Likewise, there are a whole number of blog posts by various TMSR Lords, including, <a href="http://ave1.org/">ave1</a>, and <a href="http://bvt-trace.net/">bvt</a>.  However, for this first attempt at building, I used these notes as my main source of help. <br />* <a href="http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html">asciilifeform</a>'s <a href="http://btcbase.org/log/2018-05-15#1813719">very useful comments in the forum - steps begin here</a>.<br />* <a href="http://wot.deedbot.org/E72DCCB73A5E06694C5CD781D5196EE6390F999E.html">diana_coman</a>'s <a href="http://ossasepia.com/2019/03/04/gnat-compilation-notes/">GNAT Compilation Notes</a>.<br /><br /><br />To begin with, I downloaded the tarball and notes <a href="http://ave1.org/2018/building-gnat-on-musl-now-with-partial-and-parallel-build-support/">included at ave1's blog post</a> onto my x86_64 (quad core) gentoo machine, which already had a working GNAT 2016 (from AdaCore) deployed into the environment.  From there, I followed the steps that asciilifeform gave in the forum and was successful. <br /><br />Here's a log of what I actually did:<br /><br /><pre><br />mod6@gentoo-lappy ~/AVE1_GNAT $ curl -sL "http://ave1.org/tarpit/ada-musl-cross-2018-05-15.tgz" -O<br />mod6@gentoo-lappy ~/AVE1_GNAT $ curl -sL "http://ave1.org/tarpit/ada-musl-cross-2018-05-15.txt" -O<br />mod6@gentoo-lappy ~/AVE1_GNAT $ gpg --verify ada-musl-cross-2018-05-15.txt <br />gpg: Signature made Tue May 15 07:50:39 2018 CDT using RSA key ID 77BC59F9<br />gpg: Good signature from "ave--"<br />gpg: WARNING: This key is not certified with a trusted signature!<br />gpg:          There is no indication that the signature belongs to the owner.<br />Primary key fingerprint: 57EE 94EA 6F20 49A4 7DAF  A856 8F4C E8F7 77BC 59F9<br />mod6@gentoo-lappy ~/AVE1_GNAT $ su<br />gentoo-lappy AVE1_GNAT # tar -xf ada-musl-cross-2018-05-15.tgz <br />gentoo-lappy AVE1_GNAT #<br />gentoo-lappy AVE1_GNAT # gnat --version<br />GNAT GPL 2016 (20160515-49)<br />Copyright (C) 1996-2016, Free Software Foundation, Inc.<br />This is free software; see the source for copying conditions.<br />There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.<br />gentoo-lappy AVE1_GNAT #<br />gentoo-lappy AVE1_GNAT # cd ada-musl-cross-2018-05-15<br />gentoo-lappy ada-musl-cross-2018-05-15 # ls<br />README.md  build-ada.sh  build-native.sh  build.sh  clean.sh  config-static.sh  config.sh  defs.sh  download-adacore-2015.sh  download-adacore-2016.sh  extra  extraconfig.sh  hashes  patches  tarballs<br /><br />#####<br /># The next part was specifically from asciilifeform's notes:<br /># http://btcbase.org/log/2018-05-15#1813719 <br /># http://btcbase.org/log/2018-05-15#1813726<br />#####<br /><br />gentoo-lappy ada-musl-cross-2018-05-15 # mkdir bin <br /><br />gentoo-lappy ada-musl-cross-2018-05-15 # vim /root/.bash_profile <br /><br />######<br /># Adding this PATH definition into my /root/.bashrc file:  PATH="/home/mod6/AVE1_GNAT/ada-musl-cross-2018-05-15/bin/x86_64-linux-musl/bin/:$PATH"; export PATH<br />######<br /><br />gentoo-lappy ada-musl-cross-2018-05-15 # source /root/.bash_profile<br />gentoo-lappy ada-musl-cross-2018-05-15 # echo $PATH<br />/home/mod6/AVE1_GNAT/ada-musl-cross-2018-05-15/bin/x86_64-linux-musl/bin/:/usr/gnat/bin:/sbin:/bin:/usr/sbin:/usr/bin<br />gentoo-lappy ada-musl-cross-2018-05-15 # export MAKEOPTS=-j4<br />gentoo-lappy ada-musl-cross-2018-05-15 # echo $MAKEOPTS<br />-j4<br />gentoo-lappy ada-musl-cross-2018-05-15 # nohup ./build-ada.sh /home/mod6/AVE1_GNAT/ada-musl-cross-2018-05-15/bin & <br /><br />...<br /><br />Some hours later...<br /><br />...<br /><br />gentoo-lappy ada-musl-cross-2018-05-15 # ls -al bin/<br />total 940944<br />drwxr-xr-x  7 root root       4096 Apr 13 23:42 .<br />drwx------ 12  902 users      4096 Apr 13 18:18 ..<br />drwxr-xr-x  8 root root       4096 Apr 13 21:20 aarch64-linux-musl<br />drwxr-xr-x  9 root root       4096 Apr 13 23:44 aarch64-linux-musl-native<br />drwxr-xr-x  8 root root       4096 Apr 13 19:04 bootstrap<br />-rw-r--r--  1 root root  316206446 Apr 13 23:44 muslaarch64-linux-musl-nativeada.tar.gz<br />-rw-r--r--  1 root root  146969625 Apr 13 21:20 muslaarch64-linux-muslada.tar.gz<br />-rw-r--r--  1 root root  341775984 Apr 13 22:32 muslx86_64-linux-musl-nativeada.tar.gz<br />-rw-r--r--  1 root root  158535800 Apr 13 20:15 muslx86_64-linux-muslada.tar.gz<br />drwxr-xr-x  8 root root       4096 Apr 13 20:15 x86_64-linux-musl<br />drwxr-xr-x  8 root root       4096 Apr 13 22:32 x86_64-linux-musl-native<br />gentoo-lappy ada-musl-cross-2018-05-15 # sha512sum bin/*.tar.gz<br />2de85d5b3b574eb8126007928b0a6a5e7d0a26a65a53b49699e5f61ad857acbf0d3666998775c5dcae513d0e58ec054f3eceda1b16dde053a52e41f55be3d02d  bin/muslaarch64-linux-musl-nativeada.tar.gz<br />c772632df48d6eae4c097203cb2d1605f7dc4118072df1a8d7d4aefec426479de23dbec365d6380f661d43a497bdbf2008afde503d25e9be943d212cdd67b24a  bin/muslaarch64-linux-muslada.tar.gz<br />2af6ba6aded0dbf5ee46cacd7727506889668c4d211a75b649d3d0439e953cb4602c61d88a4a15cb87c56e5241930b7d9e6f295d33ef2dc51eb95f403958b272  bin/muslx86_64-linux-musl-nativeada.tar.gz<br />2d32aa6f7bd6323813b3f2f119bab06c16dd9d39b63412b74b734f92a33e03460bb4261719a8f5b8732941f41028466f9d3ee10a4210b39e43bca5a332465372  bin/muslx86_64-linux-muslada.tar.gz<br /><br />I then copied up these two tarballs to my cuntoo-test1 machine:<br />muslx86_64-linux-musl-nativeada.tar.gz<br />muslx86_64-linux-muslada.tar.gz<br /><br />With the tarballs copied up, I simply extracted 'muslx86_64-linux-musl-nativeada.tar.gz' in /opt<br /><br />Then modified my PATH in /home/mod6/.bashrc :<br />cuntoo-test1 /home/mod6 # tail -1 /home/mod6/.bashrc<br />export PATH="$PATH:/opt/x86_64-linux-musl-native/bin"<br /><br />With a new mod6 shell open...<br /><br />mod6@cuntoo-test1 ~ $ echo $PATH<br />/usr/x86_64-gentoo-linux-musl/gcc-bin/4.9.4:/usr/local/bin:/usr/bin:/bin:/opt/bin:/opt/x86_64-linux-musl-native/bin<br />mod6@cuntoo-test1 ~ $ gcc --version<br />gcc (Gentoo 4.9.4-r100 p1.0, pie-0.6.4) 4.9.4<br />Copyright (C) 2015 Free Software Foundation, Inc.<br />This is free software; see the source for copying conditions.  There is NO<br />warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.<br /><br />mod6@cuntoo-test1 ~ $ gnat --version<br />GNAT GPL 2016 (20160515)<br />Copyright (C) 1996-2016, Free Software Foundation, Inc.<br />This is free software; see the source for copying conditions.<br />There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.<br /><br />mod6@cuntoo-test1 ~ $ curl -sL "http://ossasepia.com/vpatches/starter_v.zip" -O<br />mod6@cuntoo-test1 ~ $ curl -sL "http://ossasepia.com/vpatches/starter_v.zip.diana_coman.sig" -O<br />mod6@cuntoo-test1 ~ $ gpg --import diana_coman.asc<br />gpg: key 390F999E: public key "Diana Coman <office@dianacoman.com>" imported<br />gpg: Total number processed: 1<br />gpg:               imported: 1  (RSA: 1)<br />mod6@cuntoo-test1 ~ $ gpg --verify starter_v.zip.diana_coman.sig starter_v.zip<br />gpg: Signature made Wed Nov 14 10:39:50 2018 UTC using RSA key ID 390F999E<br />gpg: Good signature from "Diana Coman <office@dianacoman.com>"<br />gpg: WARNING: This key is not certified with a trusted signature!<br />gpg:          There is no indication that the signature belongs to the owner.<br />Primary key fingerprint: E72D CCB7 3A5E 0669 4C5C  D781 D519 6EE6 390F 999E<br /><br />mod6@cuntoo-test1 ~ $ unzip starter_v.zip<br />Archive:  starter_v.zip<br />   creating: starter_v/<br />  inflating: starter_v/clean.sh<br />  inflating: starter_v/build.sh<br />   creating: starter_v/vtools/<br />  inflating: starter_v/vtools/vdiff.gpr<br />  inflating: starter_v/vtools/vpatch.gpr<br />  inflating: starter_v/vtools/Makefile<br />  inflating: starter_v/vtools/ksum.gpr<br />  inflating: starter_v/vtools/manifest<br />   creating: starter_v/v/<br />  inflating: starter_v/v/v.pl<br />  inflating: starter_v/v/v_quick_start.txt<br />  inflating: starter_v/v/manifest<br />   creating: starter_v/vtools/src/<br />  inflating: starter_v/vtools/src/bits.ads<br />  inflating: starter_v/vtools/src/keccak_c.adb<br />  inflating: starter_v/vtools/src/vpatch.adb<br />  inflating: starter_v/vtools/src/dir.c<br />  inflating: starter_v/vtools/src/util.c<br />  inflating: starter_v/vtools/src/keccak.h<br />  inflating: starter_v/vtools/src/diff.h<br />  inflating: starter_v/vtools/src/bits.adb<br />  inflating: starter_v/vtools/src/character_io.ads<br />  inflating: starter_v/vtools/src/context.c<br />  inflating: starter_v/vtools/src/smg_keccak.adb<br />  inflating: starter_v/vtools/src/character_io.adb<br />  inflating: starter_v/vtools/src/ksum.adb<br />  inflating: starter_v/vtools/src/analyze.c<br />  inflating: starter_v/vtools/src/keccak_c.ads<br />  inflating: starter_v/vtools/src/io.c<br />  inflating: starter_v/vtools/src/diff.c<br />  inflating: starter_v/vtools/src/smg_keccak.ads<br />  inflating: starter_v/vtools/src/system.h<br />   creating: starter_v/vtools/lib/<br />  inflating: starter_v/vtools/lib/hash.c<br />  inflating: starter_v/vtools/lib/cmpbuf.c<br />  inflating: starter_v/vtools/lib/progname.c<br />  inflating: starter_v/vtools/lib/filetype.h<br />  inflating: starter_v/vtools/lib/xalloc.c<br />  inflating: starter_v/vtools/lib/dirname.h<br />  inflating: starter_v/vtools/lib/filetype.c<br />  inflating: starter_v/vtools/lib/progname.h<br />  inflating: starter_v/vtools/lib/cmpbuf.h<br />  inflating: starter_v/vtools/lib/error.h<br />  inflating: starter_v/vtools/lib/error.c<br />  inflating: starter_v/vtools/lib/filenamecat.c<br />  inflating: starter_v/vtools/lib/dirname.c<br />  inflating: starter_v/vtools/lib/diffseq.h<br />  inflating: starter_v/vtools/lib/hash.h<br />  inflating: starter_v/vtools/lib/filenamecat.h<br />  inflating: starter_v/vtools/lib/xalloc.h<br />   creating: starter_v/vtools/obj/<br /> extracting: starter_v/vtools/obj/readme<br />mod6@cuntoo-test1 ~ $ cd starter_v<br />mod6@cuntoo-test1 ~/starter_v $ chmod +x build.sh<br />mod6@cuntoo-test1 ~/starter_v $ ./build.sh<br /><br />Compile<br />   [C]            diff.c<br />   [C]            filetype.c<br />   [C]            error.c<br />   [C]            cmpbuf.c<br />   [C]            progname.c<br />   [C]            dirname.c<br />   [C]            hash.c<br />   [C]            filenamecat.c<br />   [C]            xalloc.c<br />   [C]            dir.c<br />   [C]            io.c<br />   [C]            util.c<br />   [C]            context.c<br />   [C]            analyze.c<br />   [Ada]          bits.adb<br />   [Ada]          ksum.adb<br />   [Ada]          character_io.adb<br />   [Ada]          keccak_c.adb<br />   [Ada]          smg_keccak.adb<br />Bind<br />   [gprbind]      diff.bexch<br />   [Ada]          bits.ali -n<br />Link<br />   [archive]      libvdiff.a<br />   [index]        libvdiff.a<br />   [link]         diff.c<br />Compile<br />   [Ada]          vpatch.adb<br />Bind<br />   [gprbind]      vpatch.bexch<br />   [Ada]          vpatch.ali<br />Link<br />   [link]         vpatch.adb<br />Bind<br />   [gprbind]      ksum.bexch<br />   [Ada]          ksum.ali<br />Link<br />   [link]         ksum.adb<br />Done.<br /><br />mod6@cuntoo-test1 ~/starter_v $ ./ksum vk.pl<br />115b06a799eae048ffbd18642234dc234e9bf879ebdedf0ed9b4be69a410187537b618d2b4b581954b89d1f63ef0925f9ff1ae26f0882c28f05d3a1fcdb1a732  vk.pl<br />mod6@cuntoo-test1 ~/starter_v $ ./ksum vdiff<br />53751a217b0257f716955eff2177aea68815aa1f0076e1b5a7137e843a30a85741dc3b58ef63cdfc4fe5abdbe558f2f614f601da1797bc50032a43594a9b221d  vdiff<br />mod6@cuntoo-test1 ~/starter_v $ ./ksum vpatch<br />82b8851c2bbe6bf5e10558152d3bdbde448b6185af4cb2d41afd3339053e9b8b61539a28e55c8aa96fe44d3cdfec832fe5418b2977dab47b67222ee47b8cae67  vpatch<br />mod6@cuntoo-test1 ~/starter_v $ cd ..<br />mod6@cuntoo-test1 ~ $ mkdir ffa<br />mod6@cuntoo-test1 ~ $ cd ffa<br />mod6@cuntoo-test1 ~/ffa $ mv ../ffa-keccak.tar.gz .<br />mod6@cuntoo-test1 ~/ffa $ mkdir .wot<br />mod6@cuntoo-test1 ~/ffa $ mkdir .seals<br />mod6@cuntoo-test1 ~/ffa $ mkdir patches<br />mod6@cuntoo-test1 ~/ffa $ tar -xf ffa-keccak.tar.gz<br />mod6@cuntoo-test1 ~/ffa $ mv keccak/*.sig .seals/<br />mod6@cuntoo-test1 ~/ffa $ mv keccak/*.vpatch patches<br />mod6@cuntoo-test1 ~/ffa $ rm -rf keccak/<br />mod6@cuntoo-test1 ~/ffa $ mv ../asciilifeform.asc .wot/<br />mod6@cuntoo-test1 ~/ffa $ echo $PATH<br />/usr/x86_64-gentoo-linux-musl/gcc-bin/4.9.4:/usr/local/bin:/usr/bin:/bin:/opt/bin:/opt/x86_64-linux-musl-native/bin<br />mod6@cuntoo-test1 ~/ffa $ su<br />cuntoo-test1 /home/mod6/ffa # cp ../starter_v/{ksum,vdiff,vpatch} /usr/local/bin<br />cuntoo-test1 /home/mod6/ffa # exit<br />mod6@cuntoo-test1 ~/ffa $ cp ../starter_v/vk.pl .<br />mod6@cuntoo-test1 ~/ffa $ ./vk.pl f<br />ffa_ch1_genesis.kv.vpatch (asciilifeform)<br />ffa_ch2_logicals.kv.vpatch (asciilifeform)<br />ffa_ch3_shifts.kv.vpatch (asciilifeform)<br />ffa_ch4_ffacalc.kv.vpatch (asciilifeform)<br />ffa_ch5_egypt.kv.vpatch (asciilifeform)<br />ffa_ch6_simplest_rsa.kv.vpatch (asciilifeform)<br />ffa_ch7_turbo_egyptians.kv.vpatch (asciilifeform)<br />ffa_ch8_randomism.kv.vpatch (asciilifeform)<br />ffa_ch9_exodus.kv.vpatch (asciilifeform)<br />ffa_ch10_karatsuba.kv.vpatch (asciilifeform)<br />ffa_ch11_tuning_and_api.kv.vpatch (asciilifeform)<br />ffa_ch12_karatsuba_redux.kv.vpatch (asciilifeform)<br />ffa_w_borrow_expr.kv.vpatch (asciilifeform)<br />ffa_ch13_measure_and_qshifts.kv.vpatch (asciilifeform)<br />ffa_ch14_barrett.kv.vpatch (asciilifeform)<br />ffa_ch15_gcd.kv.vpatch (asciilifeform)<br />ffa_ch16_miller_rabin.kv.vpatch (asciilifeform)<br />ffa_ch17_peh.kv.vpatch (asciilifeform)<br />ffa_ch18_subroutines.kv.vpatch (asciilifeform)<br />mod6@cuntoo-test1 ~/ffa $<br />mod6@cuntoo-test1 ~/ffa $ ./vk.pl p v ch1 ffa_ch1_genesis.kv.vpatch<br />ffa_ch1_genesis.kv.vpatch<br />  creating ffa/README<br />  creating ffa/ffademo/README<br />  creating ffa/ffademo/bin/README<br />  creating ffa/ffademo/demo_ch1.adb<br />  creating ffa/ffademo/demo_ch1.ads<br />  creating ffa/ffademo/ffa_demo.adb<br />  creating ffa/ffademo/ffa_demo.gpr<br />  creating ffa/ffademo/ffa_io.adb<br />  creating ffa/ffademo/ffa_io.ads<br />  creating ffa/ffademo/obj/README<br />  creating ffa/libffa/README<br />  creating ffa/libffa/ffa.gpr<br />  creating ffa/libffa/fz_arith.adb<br />  creating ffa/libffa/fz_arith.ads<br />  creating ffa/libffa/fz_type.ads<br />  creating ffa/libffa/iron.ads<br />  creating ffa/libffa/lib/README<br />  creating ffa/libffa/obj/README<br />  creating ffa/libffa/restrict.adc<br />  creating ffa/libffa/w_shifts.ads<br />  creating ffa/libffa/word_ops.adb<br />  creating ffa/libffa/word_ops.ads<br />  creating ffa/libffa/words.ads<br />mod6@cuntoo-test1 ~/ffa $ cd ch1<br />mod6@cuntoo-test1 ~/ffa/ch1 $ cd ffa<br />mod6@cuntoo-test1 ~/ffa/ch1/ffa $ cd ffademo/<br />mod6@cuntoo-test1 ~/ffa/ch1/ffa/ffademo $ ls<br />README  bin  demo_ch1.adb  demo_ch1.ads  ffa_demo.adb  ffa_demo.gpr  ffa_io.adb  ffa_io.ads  obj<br />mod6@cuntoo-test1 ~/ffa/ch1/ffa/ffademo $ gprbuild<br />using project file ffa_demo.gpr<br />Compile<br />   [Ada]          ffa_demo.adb<br />   [Ada]          iron.ads<br />   [Ada]          word_ops.adb<br />   [Ada]          w_shifts.ads<br />   [Ada]          fz_arith.adb<br />   [Ada]          words.ads<br />   [Ada]          fz_type.ads<br />   [Ada]          demo_ch1.adb<br />   [Ada]          ffa_io.adb<br />Build Libraries<br />   [gprlib]       FFA.lexch<br />   [archive]      libFFA.a<br />   [index]        libFFA.a<br />Bind<br />   [gprbind]      ffa_demo.bexch<br />   [Ada]          ffa_demo.ali<br />Link<br />   [link]         ffa_demo.adb<br />mod6@cuntoo-test1 ~/ffa/ch1/ffa/ffademo $ ./bin/ffa_demo<br />X         =<br />0000000000000000000000000000000000000000000000000000000000000000<br />Y         =<br />0000000000000000000000000000000000000000000000000000000000005555<br />X + Y     =<br />0000000000000000000000000000000000000000000000000000000000005555<br />C         =  0<br />X - Y     =<br />FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFAAAB<br />C         =  1<br />mod6@cuntoo-test1 ~/ffa/ch1/ffa/ffademo $<br /></pre><br /><br />As you can see, worked great!  Was able to build diana_coman's keccak-vtron, and asciilifeform's FFA (Chapter 1, genesis) without problems at all.  <br /><br />Thanks to all who worked through this adventure before me and left good notes to work from.  Much appreciated.