Workcraft - devel:dependency

batik

Anonymous (anonymous@undisclosed.example.com) — 2024-10-25T08:17:36+00:00

Preparing minimal Apache Batik The aim is to prepare a cut-down version of Apache Batik with the minimal set of JARs necessary for building and running Workcraft (this effort results in ~10MB size reduction): * Download JARs of Batik binary distribution from

dot

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T17:40:27+00:00

Building Graphviz Dot This is to build statically linked yet compact binaries for Graphviz Dot for Linux, Windows and OSX. Static binaries for Linux ./configure --enable-static --disable-shared make LDFLAGS=-all-static strip cmd/dot/dot_static -o dot Static binaries for OSX

jre

Anonymous (anonymous@undisclosed.example.com) — 2025-06-09T14:14:27+00:00

Preparing minimal Java Runtime Environment Standard distribution of Java Runtime Environment (JRE) unpacks to around 125MB. This can be significantly reduced by only including those JRE components that are actually used by Workcraft. For this we use Java Development Kit (JDK), preferably the one from

petrify

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T17:40:28+00:00

Building Petrify * Build 32-bit SIS static libraries (see instruction) and put them into sis/lib directory: * libsis32.a -- 32-bit Linux build, gcc -m32 toolchain * libsis32osx.a -- 32-bit Mac OS X build, mp-gcc5 -m32 toolchain * libsis32win.a - 32-bit Windows build,

pgminer

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T17:40:27+00:00

Building PGMiner Note that cabal and ghc are required. * Clone the most recent version by running: git clone . * Navigate to process-mining directory. * Run cabal build. * Binary can be found in: process-mining/dist/build/pgminer.

scenco

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T17:40:27+00:00

Building ScEnco * Clone the most recent version by running: git clone * Navigate to the scenco-workcraft directory. * Edit scenco-workcraft/inc/config.h and at line 21 set scenariosLimit to 200. (This is necessary for OSX only as allocating much memory is problematic).

sis

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T17:40:27+00:00

Building SIS SIS provides a logic synthesis library libsis.a that is required for Petrify. The following instructions are for SIS 1.3 Unofficial Distribution. SIS source code needs the following changes to be compatible with modern compilers: * Note that restrict is a keyword now and needs to be replaced, e.g. by

spot

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T17:40:27+00:00

Building Spot This is to build statically linked yet compact binaries for Spot tools for Linux, Windows and OSX. Static binaries for Linux ./configure --disable-shared --disable-python --disable-devel --enable-optimizations --prefix ~/spot.linux make LDFLAGS=-all-static make install-strip

start

Anonymous (anonymous@undisclosed.example.com) — 2023-03-16T18:16:16+00:00

Building dependencies This are instructions for preparing Workcraft dependencies, specifically its backend tools, Java runtime and libraries. Backend tools * For compatibility with old distributions (e.g. RHEL6 with kernel v2.6.32) build Linux binaries in

unfolding

Anonymous (anonymous@undisclosed.example.com) — 2023-03-24T19:53:32+00:00

Building Unfolding tools Recent versions of Bison (e.g. v3.6.2 in MacPort and v3.5.1 in Ubuntu 20.04) have a new way to detect reduce/reduce conflicts. This affects generating a parser from unflib/pn_parse_hl.y grammar -- the following error is reported by Bison: