uhdm

.github/workflows/uhdm.yml

@@ -0,0 +1,45 @@
+# Authors:
+#   Unai Martinez-Corral
+#     <[email protected]>
+#
+# Copyright Unai Martinez-Corral
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+# SPDX-License-Identifier: Apache-2.0
+
+name: 'uhdm'
+
+on:
+  pull_request:
+  push:
+  schedule:
+    - cron: '0 0 * * 5'
+  workflow_dispatch:
+  repository_dispatch:
+    types: [ uhdm ]
+
+env:
+  DOCKER_BUILDKIT: 1
+
+jobs:
+  uhdm:
+    uses: ./.github/workflows/common.yml
+    with:
+      key: uhdm
+      skip-release: ${{ github.event_name == 'pull_request' }}
+    secrets:
+      gcr_token: '${{ secrets.GCR_JSON_KEY }}'
+      gh_token: '${{ github.token }}'
+      docker_user: '${{ secrets.DOCKER_USER }}'
+      docker_pass: '${{ secrets.DOCKER_PASS }}'

debian-bookworm/uhdm.dockerfile

@@ -0,0 +1,58 @@
+# Authors:
+#   Unai Martinez-Corral
+#     <[email protected]>
+#
+# Copyright Unai Martinez-Corral
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+#
+# SPDX-License-Identifier: Apache-2.0
+
+ARG REGISTRY='gcr.io/hdl-containers/debian/bookworm'
+
+#---
+
+FROM $REGISTRY/build AS build
+
+RUN apt-get update -qq \
+ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
+    make \
+    pkg-config \
+    cmake \
+    python3 \
+    python3-pip \
+    python3-venv \
+    openjdk-17-jre-headless \
+    tree \
+ && apt-get autoclean && apt-get clean && apt-get -y autoremove \
+ && update-ca-certificates  \
+ && rm -rf /var/lib/apt/lists/*
+
+#ENV VIRTUAL_ENV=/opt/venv
+#RUN python3 -m venv $VIRTUAL_ENV
+#ENV PATH="$VIRTUAL_ENV/bin:$PATH"
+
+#RUN pip3 install orderedmultidict
+
+RUN git clone https://github.com/alainmarcel/UHDM.git /tmp/UHDM \
+ && cd /tmp/UHDM \
+ && git submodule update --init --recursive \
+ && make DESTDIR=/opt/uhdm install
+
+RUN tree /opt/uhdm
+
+#---
+
+FROM scratch AS pkg
+
+#COPY --from=build /tmp/synlig/build/systemverilog-plugin/systemverilog.so /synlig/systemverilog.so

utils/pyHDLC/config.yml

@@ -181,6 +181,7 @@ jobs:
     pono:       *SysDebianBullseyeAmd64
     superprove: *SysDebianBullseyeAmd64
     symbiyosys: *SysDebianAmd64
+    uhdm:       *SysDebianAmd64
     yices2:     *SysDebianAmd64
     z3:         *SysDebianAmd64