Add apicula to doc/tools.tml

Author: racerxdl

apicula.dockerfile

@@ -21,20 +21,24 @@
 FROM hdlc/build:build AS build
 
 RUN apt-get update -qq \
- && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends python3-setuptools python3-pip
+ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends wget
 
-RUN mkdir /tmp/apicula \
- && cd /tmp/apicula \
- && pip3 install apycula --target /tmp/apicula
+RUN mkdir /opt/apicula \
+ && wget https://files.pythonhosted.org/packages/1a/d6/b3162f87ff114d639095fe7c0655080ee16caff9037d6629f738d8b28d92/Apycula-0.0.1a6.tar.gz \
+ && tar -xvf Apycula-0.0.1a6.tar.gz --strip-components=1 -C /opt/apicula \
+ && ls -lah /opt/apicula
 
 #---
 
 FROM scratch AS pkg
-COPY --from=build /tmp/apicula /apicula
+COPY --from=build /opt/apicula /apicula
 
 #---
 
 FROM hdlc/build:base
 RUN apt-get update -qq \
- && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends python3-setuptools python3-pip \
- && pip3 install apycula
+ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends python3 python3-setuptools
+
+COPY --from=build /opt/apicula /opt/apicula
+RUN cd /opt/apicula && python3 setup.py install
+

doc/tools.yml

@@ -194,3 +194,14 @@ z3:
     - 'formal:min'
     - 'formal'
     - 'formal:all'
+
+#---
+
+apicula:
+  url: 'https://hdl.github.io/awesome/items/apicula'
+  pkg:
+    - 'apicula'
+  use:
+    - 'apicula'
+  in:
+    - 'impl'

test/apicula.sh

@@ -2,6 +2,7 @@
 
 # Authors:
 #   Unai Martinez-Corral
+#   Lucas Teske
 #
 # Copyright 2020-2021 Unai Martinez-Corral <[email protected]>
 #