- github
- ocaml
- opam-repository
- e2e946
- compilers,5.3,dune.3.20.0~alpha4,revdeps,cudd.0.1.1
(not at the head of any monitored branch or PR)
2025-08-12 13:24.52: New job: test cudd.0.1.1 with dune.3.20.0~alpha4, using opam 2.3
from https://github.com/ocaml/opam-repository.git#refs/pull/28333/head (e2e946ed909ce4d2c3e1e35bbaff78b566760128)
on debian-12-ocaml-5.3/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/28333/head" && git reset --hard e2e946ed
git fetch origin master
git merge --no-edit 5b99878077ddf3134c09e188d937954bd33cfa58
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-5.3@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn dune.3.20.0~alpha4 3.20.0~alpha4
RUN opam reinstall dune.3.20.0~alpha4; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'dune.3.20.0~alpha4' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall cudd.0.1.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'cudd.0.1.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test cudd.0.1.1) || true
RUN opam reinstall --with-test --verbose cudd.0.1.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-12\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'cudd.0.1.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2025-08-12 13:24.52: Using cache hint "ocaml/opam:debian-12-ocaml-5.3@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03-dune.3.20.0~alpha4-cudd.0.1.1-e2e946ed909ce4d2c3e1e35bbaff78b566760128"
2025-08-12 13:24.52: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-5.3@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn dune.3.20.0~alpha4 3.20.0~alpha4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.20.0~alpha4;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.20.0~alpha4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall cudd.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'cudd.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test cudd.0.1.1) || true"))
(run (shell "opam reinstall --with-test --verbose cudd.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'cudd.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-08-12 13:24.52: Waiting for resource in pool OCluster
2025-08-12 20:21.56: Waiting for worker…
2025-08-12 20:23.43: Got resource from pool OCluster
Building on phoebe
All commits already cached
Updating files: 70% (12775/18017)
Updating files: 71% (12793/18017)
Updating files: 72% (12973/18017)
Updating files: 73% (13153/18017)
Updating files: 74% (13333/18017)
Updating files: 75% (13513/18017)
Updating files: 76% (13693/18017)
Updating files: 77% (13874/18017)
Updating files: 78% (14054/18017)
Updating files: 79% (14234/18017)
Updating files: 80% (14414/18017)
Updating files: 81% (14594/18017)
Updating files: 82% (14774/18017)
Updating files: 83% (14955/18017)
Updating files: 84% (15135/18017)
Updating files: 85% (15315/18017)
Updating files: 86% (15495/18017)
Updating files: 87% (15675/18017)
Updating files: 88% (15855/18017)
Updating files: 89% (16036/18017)
Updating files: 90% (16216/18017)
Updating files: 91% (16396/18017)
Updating files: 92% (16576/18017)
Updating files: 93% (16756/18017)
Updating files: 94% (16936/18017)
Updating files: 95% (17117/18017)
Updating files: 96% (17297/18017)
Updating files: 97% (17477/18017)
Updating files: 98% (17657/18017)
Updating files: 99% (17837/18017)
Updating files: 100% (18017/18017)
Updating files: 100% (18017/18017), done.
HEAD is now at 5b99878077 Merge pull request #28318 from ocamllibs/metaquot-0.6.0
Updating 5b99878077..e2e946ed90
Fast-forward
.../chrome-trace/chrome-trace.3.20.0~alpha4/opam | 41 ++++++++++++
.../dune-action-plugin.3.20.0~alpha4/opam | 54 ++++++++++++++++
.../dune-build-info.3.20.0~alpha4/opam | 47 ++++++++++++++
.../dune-configurator.3.20.0~alpha4/opam | 51 +++++++++++++++
packages/dune-glob/dune-glob.3.20.0~alpha4/opam | 44 +++++++++++++
.../dune-private-libs.3.20.0~alpha4/opam | 52 +++++++++++++++
.../dune-rpc-lwt/dune-rpc-lwt.3.20.0~alpha4/opam | 43 +++++++++++++
packages/dune-rpc/dune-rpc.3.20.0~alpha4/opam | 46 ++++++++++++++
packages/dune-site/dune-site.3.20.0~alpha4/opam | 39 ++++++++++++
packages/dune/dune.3.20.0~alpha4/opam | 74 ++++++++++++++++++++++
packages/dyn/dyn.3.20.0~alpha4/opam | 42 ++++++++++++
packages/ocamlc-loc/ocamlc-loc.3.20.0~alpha4/opam | 45 +++++++++++++
packages/ordering/ordering.3.20.0~alpha4/opam | 40 ++++++++++++
packages/stdune/stdune.3.20.0~alpha4/opam | 46 ++++++++++++++
packages/xdg/xdg.3.20.0~alpha4/opam | 41 ++++++++++++
15 files changed, 705 insertions(+)
create mode 100644 packages/chrome-trace/chrome-trace.3.20.0~alpha4/opam
create mode 100644 packages/dune-action-plugin/dune-action-plugin.3.20.0~alpha4/opam
create mode 100644 packages/dune-build-info/dune-build-info.3.20.0~alpha4/opam
create mode 100644 packages/dune-configurator/dune-configurator.3.20.0~alpha4/opam
create mode 100644 packages/dune-glob/dune-glob.3.20.0~alpha4/opam
create mode 100644 packages/dune-private-libs/dune-private-libs.3.20.0~alpha4/opam
create mode 100644 packages/dune-rpc-lwt/dune-rpc-lwt.3.20.0~alpha4/opam
create mode 100644 packages/dune-rpc/dune-rpc.3.20.0~alpha4/opam
create mode 100644 packages/dune-site/dune-site.3.20.0~alpha4/opam
create mode 100644 packages/dune/dune.3.20.0~alpha4/opam
create mode 100644 packages/dyn/dyn.3.20.0~alpha4/opam
create mode 100644 packages/ocamlc-loc/ocamlc-loc.3.20.0~alpha4/opam
create mode 100644 packages/ordering/ordering.3.20.0~alpha4/opam
create mode 100644 packages/stdune/stdune.3.20.0~alpha4/opam
create mode 100644 packages/xdg/xdg.3.20.0~alpha4/opam
(from ocaml/opam:debian-12-ocaml-5.3@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03)
Unable to find image 'ocaml/opam:debian-12-ocaml-5.3@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03' locally
docker.io/ocaml/opam@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03: Pulling from ocaml/opam
6fc4dc4525d4: Already exists
Digest: sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03
Status: Downloaded newer image for ocaml/opam@sha256:4c128e28b76bc23613903dd2c78bdf0a5de36bc06b2b1eea8d3079d07756aa03
2025-08-12 20:23.54 ---> using "136b9da5b4792138f95300e61d33f42dd45fd35a017a7276daca78afc682748d" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2025-08-12 20:23.54 ---> using "a388c5b35cadef4c2005715355a9e850636d9e91fb537c5a71d1c45917048fdc" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-08-12 20:23.54 ---> using "bb165827456dcd23ceb0ae78f1e65a9e17509720f29c738eb19faac8565f141e" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.3.0 (35acd0c5abc5e66cdbd5be16ba77aa6c33a4c724)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=12
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.3
# invariant ["ocaml-base-compiler" {= "5.3.0"}]
# compiler-packages ocaml-base-compiler.5.3.0, ocaml-compiler.5.3.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.3/lib/ocaml/stublibs:/home/opam/.opam/5.3/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.3.0
2025-08-12 20:23.54 ---> using "531a32bcfb595c38d922854047b33660029bc78d4418665c28feb76af7b35eb4" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2025-08-12 20:23.54 ---> using "c20e3b5fdf01328bb44c0a8a29e7ec3ba2d9ed727ee69b4cd024fdd82aedb434" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-08-12 20:23.56 ---> using "c3acc61a42d74e1d56602928dd4c4cc71aedcf2618c308fe0172c55dc07cbb74" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-08-12 20:23.56 ---> using "a073e6341f274b085b706ade03ce3a5a11397d7cae3659bc592209888afe343d" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian bookworm InRelease [151 kB]
- Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
- Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
- Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [21.8 kB]
- Ign:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index
- Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages [6924 B]
- Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [272 kB]
- Fetched 555 kB in 0s (1328 kB/s)
- Reading package lists...
-
2025-08-12 20:23.56 ---> using "1ed943a357e8b26d1a4e86f7c74a77ba28c7341af11ca2528ab0eac0583a5843" from cache
/home/opam: (run (shell "opam pin add -k version -yn dune.3.20.0~alpha4 3.20.0~alpha4"))
dune is now pinned to version 3.20.0~alpha4
2025-08-12 20:23.56 ---> using "420d28b10ba5329266149c09861f1c619540e39be8f4e047715747f65d197744" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall dune.3.20.0~alpha4;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'dune.3.20.0~alpha4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
dune.3.20.0~alpha4 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
- install dune 3.20.0~alpha4 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.20.0~alpha4 (cached)
-> installed dune.3.20.0~alpha4
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-12 20:23.56 ---> using "b7ca17cbabb85c6394a30dfef851de0a5c9d07a981a86fbb59cfe6548ae9db2f" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall cudd.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'cudd.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
cudd.0.1.1 is not installed. Install it? [y/n] y
The following actions will be performed:
=== install 1 package
- install cudd 0.1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cudd.0.1.1 (https://opam.ocaml.org/cache)
-> installed cudd.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-12 20:24.57 ---> saved as "8ad8788ae63193603840fe6fc6462bcae023c2ad3ee00ba061c3f5716e93bede"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test cudd.0.1.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile cudd 0.1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cudd.0.1.1 (https://opam.ocaml.org/cache)
-> removed cudd.0.1.1
-> installed cudd.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-12 20:25.59 ---> saved as "02fbfd4f38b1ac369637727493a18d520d347a0c14a665ffcd6d13224acbda98"
/home/opam: (run (shell "opam reinstall --with-test --verbose cudd.0.1.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-12\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'cudd.0.1.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile cudd 0.1.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [cudd.0.1.1: extract]
-> retrieved cudd.0.1.1 (cached)
Processing 2/4: [cudd: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cudd" "-j" "71" "@install" "@runtest" (CWD=/home/opam/.opam/5.3/.opam-switch/build/cudd.0.1.1)
- (cd _build/default/cudd/unpacked-cudd && /usr/bin/bash -e -u -o pipefail -c 'CFLAGS="-O3 -fPIC" CXXFLAGS="-O3 -fPIC" ./configure --enable-obj --enable-shared --disable-dependency-tracking --disable-dddmp')
- checking build system type... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... yes
- checking whether make supports nested variables... yes
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking whether gcc understands -c and -o together... yes
- checking for style of include used by make... GNU
- checking dependency style of gcc... none
- checking for g++... g++
- checking whether we are using the GNU C++ compiler... yes
- checking whether g++ accepts -g... yes
- checking dependency style of g++... none
- checking for ar... ar
- checking the archiver (ar) interface... ar
- checking how to print strings... printf
- checking for a sed that does not truncate output... /usr/bin/sed
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for egrep... /usr/bin/grep -E
- checking for fgrep... /usr/bin/grep -F
- checking for ld used by gcc... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
- checking the name lister (/usr/bin/nm -B) interface... BSD nm
- checking whether ln -s works... yes
- checking the maximum length of command line arguments... 1572864
- checking whether the shell understands some XSI constructs... yes
- checking whether the shell understands "+="... yes
- checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
- checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/ld option to reload object files... -r
- checking for objdump... objdump
- checking how to recognize dependent libraries... pass_all
- checking for dlltool... no
- checking how to associate runtime and link libraries... printf %s\n
- checking for archiver @FILE support... @
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm -B output from gcc object... ok
- checking for sysroot... no
- checking for mt... no
- checking if : is a manifest tool... no
- checking how to run the C preprocessor... gcc -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking for dlfcn.h... yes
- checking for objdir... .libs
- checking if gcc supports -fno-rtti -fno-exceptions... no
- checking for gcc option to produce PIC... -fPIC -DPIC
- checking if gcc PIC flag -fPIC -DPIC works... yes
- checking if gcc static flag -static works... yes
- checking if gcc supports -c -o file.o... yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes
- checking whether -lc should be explicitly linked in... no
- checking dynamic linker characteristics... GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether stripping libraries is possible... yes
- checking if libtool supports shared libraries... yes
- checking whether to build shared libraries... yes
- checking whether to build static libraries... yes
- checking how to run the C++ preprocessor... g++ -E
- checking for ld used by g++... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
- checking for g++ option to produce PIC... -fPIC -DPIC
- checking if g++ PIC flag -fPIC -DPIC works... yes
- checking if g++ static flag -static works... yes
- checking if g++ supports -c -o file.o... yes
- checking if g++ supports -c -o file.o... (cached) yes
- checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
- checking dynamic linker characteristics... (cached) GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether byte ordering is bigendian... no
- checking for doxygen... no
- checking for pdflatex... no
- checking for makeindex... no
- checking for library containing pow... -lm
- checking for pthread_create in -lpthread... yes
- checking for library containing WSAStartup... no
- checking for library containing GetProcessMemoryInfo... no
- checking float.h usability... yes
- checking float.h presence... yes
- checking for float.h... yes
- checking for inttypes.h... (cached) yes
- checking limits.h usability... yes
- checking limits.h presence... yes
- checking for limits.h... yes
- checking stddef.h usability... yes
- checking stddef.h presence... yes
- checking for stddef.h... yes
- checking for stdlib.h... (cached) yes
- checking for string.h... (cached) yes
- checking assert.h usability... yes
- checking assert.h presence... yes
- checking for assert.h... yes
- checking math.h usability... yes
- checking math.h presence... yes
- checking for math.h... yes
- checking for unistd.h... (cached) yes
- checking sys/time.h usability... yes
- checking sys/time.h presence... yes
- checking for sys/time.h... yes
- checking sys/times.h usability... yes
- checking sys/times.h presence... yes
- checking for sys/times.h... yes
- checking sys/resource.h usability... yes
- checking sys/resource.h presence... yes
- checking for sys/resource.h... yes
- checking sys/wait.h usability... yes
- checking sys/wait.h presence... yes
- checking for sys/wait.h... yes
- checking for working C++ thread header... yes
- checking for stdbool.h that conforms to C99... yes
- checking for _Bool... yes
- checking for inline... inline
- checking for size_t... yes
- checking for uint16_t... yes
- checking for uint32_t... yes
- checking for ptrdiff_t... yes
- checking size of int... 4
- checking size of long... 8
- checking size of void *... 8
- checking size of long double... 16
- checking whether we are building for a Win32 host... no
- checking whether enough of C++11 is supported... yes
- checking for pow... yes
- checking for sqrt... yes
- checking for strchr... yes
- checking for strstr... yes
- checking for powl... yes
- checking for gethostname... yes
- checking for getrlimit... yes
- checking for getrusage... yes
- checking for sysconf... yes
- checking for +Infinity (IEEE 754 floating point)... yes
- checking that generated files are newer than configure... done
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating dddmp/exp/test1.sh
- config.status: creating dddmp/exp/test2.sh
- config.status: creating dddmp/exp/test3.sh
- config.status: creating dddmp/exp/test4.sh
- config.status: creating dddmp/exp/test5.sh
- config.status: creating dddmp/exp/test6.sh
- config.status: creating dddmp/exp/test7.sh
- config.status: creating config.h
- config.status: executing depfiles commands
- config.status: executing libtool commands
- --------------------------------------------------
- Configuration summary for cudd 3.0.0
-
- Build system : x86_64-unknown-linux-gnu
- Host system : x86_64-unknown-linux-gnu
- Prefix : '/usr/local'
- Compilers : 'gcc -O3 -fPIC'
- : 'g++ -O3 -fPIC'
- Shared library : yes
- dddmp enabled : no
- obj enabled : yes
- --------------------------------------------------
- ./configure: line 7318: /usr/bin/file: No such file or directory
- configure: WARNING: Doxygen not found - continuing without Doxygen support
- configure: WARNING: pdflatex not found - unable to compile manual to PDF
- configure: WARNING: makeindex not found - unable to compile manual to PDF
- (cd _build/default/cudd/unpacked-cudd && /usr/bin/bash -e -u -o pipefail -c 'make -j 4 cudd/libcudd.la')
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddApply.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddApply.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddInv.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddInv.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddFind.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddFind.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddInv.c -o cudd/cudd_libcudd_la-cuddAddInv.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddFind.c -o cudd/cudd_libcudd_la-cuddAddFind.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddAbs.c -o cudd/cudd_libcudd_la-cuddAddAbs.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddApply.c -o cudd/cudd_libcudd_la-cuddAddApply.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddIte.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddIte.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddNeg.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddWalsh.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddNeg.c -o cudd/cudd_libcudd_la-cuddAddNeg.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddIte.c -o cudd/cudd_libcudd_la-cuddAddIte.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAndAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddWalsh.c -o cudd/cudd_libcudd_la-cuddAddWalsh.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAnneal.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAnneal.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAndAbs.c -o cudd/cudd_libcudd_la-cuddAndAbs.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApa.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApa.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAPI.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAPI.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApprox.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApprox.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAnneal.c -o cudd/cudd_libcudd_la-cuddAnneal.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApa.c -o cudd/cudd_libcudd_la-cuddApa.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddAbs.c -o cudd/cudd_libcudd_la-cuddBddAbs.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApprox.c -o cudd/cudd_libcudd_la-cuddApprox.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddCorr.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAPI.c -o cudd/cudd_libcudd_la-cuddAPI.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddIte.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddIte.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddCorr.c -o cudd/cudd_libcudd_la-cuddBddCorr.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBridge.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBridge.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddIte.c -o cudd/cudd_libcudd_la-cuddBddIte.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCache.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCache.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBridge.c -o cudd/cudd_libcudd_la-cuddBridge.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCache.c -o cudd/cudd_libcudd_la-cuddCache.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCheck.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCheck.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddClip.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddClip.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCof.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCof.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCheck.c -o cudd/cudd_libcudd_la-cuddCheck.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCompose.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCompose.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCof.c -o cudd/cudd_libcudd_la-cuddCof.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddClip.c -o cudd/cudd_libcudd_la-cuddClip.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddDecomp.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddDecomp.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddEssent.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddEssent.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExact.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExact.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCompose.c -o cudd/cudd_libcudd_la-cuddCompose.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddDecomp.c -o cudd/cudd_libcudd_la-cuddDecomp.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExact.c -o cudd/cudd_libcudd_la-cuddExact.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddEssent.c -o cudd/cudd_libcudd_la-cuddEssent.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExport.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExport.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenCof.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenCof.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenetic.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenetic.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGroup.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGroup.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExport.c -o cudd/cudd_libcudd_la-cuddExport.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenCof.c -o cudd/cudd_libcudd_la-cuddGenCof.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenetic.c -o cudd/cudd_libcudd_la-cuddGenetic.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddHarwell.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddHarwell.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGroup.c -o cudd/cudd_libcudd_la-cuddGroup.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInit.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInit.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInteract.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInteract.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddHarwell.c -o cudd/cudd_libcudd_la-cuddHarwell.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInit.c -o cudd/cudd_libcudd_la-cuddInit.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLCache.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLCache.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLevelQ.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInteract.c -o cudd/cudd_libcudd_la-cuddInteract.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLevelQ.c -o cudd/cudd_libcudd_la-cuddLevelQ.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLinear.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLinear.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLCache.c -o cudd/cudd_libcudd_la-cuddLCache.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLiteral.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLiteral.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLiteral.c -o cudd/cudd_libcudd_la-cuddLiteral.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddMatMult.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddMatMult.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddPriority.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddPriority.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLinear.c -o cudd/cudd_libcudd_la-cuddLinear.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRead.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRead.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRead.c -o cudd/cudd_libcudd_la-cuddRead.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddMatMult.c -o cudd/cudd_libcudd_la-cuddMatMult.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRef.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRef.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddReorder.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddReorder.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddPriority.c -o cudd/cudd_libcudd_la-cuddPriority.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSat.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSat.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRef.c -o cudd/cudd_libcudd_la-cuddRef.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSign.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSign.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSat.c -o cudd/cudd_libcudd_la-cuddSat.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddReorder.c -o cudd/cudd_libcudd_la-cuddReorder.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSign.c -o cudd/cudd_libcudd_la-cuddSign.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSolve.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSolve.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSplit.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSplit.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSolve.c -o cudd/cudd_libcudd_la-cuddSolve.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetHB.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetSP.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSplit.c -o cudd/cudd_libcudd_la-cuddSplit.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSymmetry.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetHB.c -o cudd/cudd_libcudd_la-cuddSubsetHB.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddTable.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddTable.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetSP.c -o cudd/cudd_libcudd_la-cuddSubsetSP.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddUtil.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddUtil.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddWindow.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddWindow.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSymmetry.c -o cudd/cudd_libcudd_la-cuddSymmetry.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddWindow.c -o cudd/cudd_libcudd_la-cuddWindow.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddCount.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddCount.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddFuncs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddCount.c -o cudd/cudd_libcudd_la-cuddZddCount.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddTable.c -o cudd/cudd_libcudd_la-cuddTable.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddGroup.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddFuncs.c -o cudd/cudd_libcudd_la-cuddZddFuncs.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddGroup.c -o cudd/cudd_libcudd_la-cuddZddGroup.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddIsop.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddLin.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddLin.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddIsop.c -o cudd/cudd_libcudd_la-cuddZddIsop.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddLin.c -o cudd/cudd_libcudd_la-cuddZddLin.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddMisc.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddMisc.c -o cudd/cudd_libcudd_la-cuddZddMisc.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddPort.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddPort.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddUtil.c -o cudd/cudd_libcudd_la-cuddUtil.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSetop.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddReord.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddReord.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddPort.c -o cudd/cudd_libcudd_la-cuddZddPort.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSymm.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSetop.c -o cudd/cudd_libcudd_la-cuddZddSetop.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddReord.c -o cudd/cudd_libcudd_la-cuddZddReord.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddUtil.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSymm.c -o cudd/cudd_libcudd_la-cuddZddSymm.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_stats.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_stats.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_stats.c -o util/cudd_libcudd_la-cpu_stats.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_time.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_time.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_time.c -o util/cudd_libcudd_la-cpu_time.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cstringstream.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cstringstream.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddUtil.c -o cudd/cudd_libcudd_la-cuddZddUtil.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cstringstream.c -o util/cudd_libcudd_la-cstringstream.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/datalimit.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-datalimit.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/datalimit.c -o util/cudd_libcudd_la-datalimit.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pathsearch.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pathsearch.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pathsearch.c -o util/cudd_libcudd_la-pathsearch.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pipefork.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pipefork.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-prtime.lo `test -f 'util/prtime.c' || echo './'`util/prtime.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/prtime.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-prtime.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pipefork.c -o util/cudd_libcudd_la-pipefork.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/safe_mem.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-safe_mem.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/prtime.c -o util/cudd_libcudd_la-prtime.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/safe_mem.c -o util/cudd_libcudd_la-safe_mem.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/strsav.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-strsav.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/texpand.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-texpand.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/ucbqsort.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-ucbqsort.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/strsav.c -o util/cudd_libcudd_la-strsav.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/texpand.c -o util/cudd_libcudd_la-texpand.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c st/st.c -fPIC -DPIC -o st/.libs/cudd_libcudd_la-st.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c epd/epd.c -fPIC -DPIC -o epd/.libs/cudd_libcudd_la-epd.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/ucbqsort.c -o util/cudd_libcudd_la-ucbqsort.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrBasic.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrBasic.o
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o mtr/cudd_libcudd_la-mtrGroup.lo `test -f 'mtr/mtrGroup.c' || echo './'`mtr/mtrGroup.c
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrGroup.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrGroup.o
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrBasic.c -o mtr/cudd_libcudd_la-mtrBasic.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c epd/epd.c -o epd/cudd_libcudd_la-epd.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c st/st.c -o st/cudd_libcudd_la-st.o >/dev/null 2>&1
- libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrGroup.c -o mtr/cudd_libcudd_la-mtrGroup.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CXX --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cplusplus/cudd_libcudd_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc
- libtool: compile: g++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cplusplus/cuddObj.cc -fPIC -DPIC -o cplusplus/.libs/cudd_libcudd_la-cuddObj.o
- libtool: compile: g++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cplusplus/cuddObj.cc -o cplusplus/cudd_libcudd_la-cuddObj.o >/dev/null 2>&1
- /bin/bash ./libtool --tag=CXX --tag=CXX --mode=link g++ -O3 -fPIC -release 3.0.0 -version-info 0:0:0 -no-undefined -o cudd/libcudd.la -rpath /usr/local/lib cudd/cudd_libcudd_la-cuddAddAbs.lo cudd/cudd_libcudd_la-cuddAddApply.lo cudd/cudd_libcudd_la-cuddAddFind.lo cudd/cudd_libcudd_la-cuddAddInv.lo cudd/cudd_libcudd_la-cuddAddIte.lo cudd/cudd_libcudd_la-cuddAddNeg.lo cudd/cudd_libcudd_la-cuddAddWalsh.lo cudd/cudd_libcudd_la-cuddAndAbs.lo cudd/cudd_libcudd_la-cuddAnneal.lo cudd/cudd_libcudd_la-cuddApa.lo cudd/cudd_libcudd_la-cuddAPI.lo cudd/cudd_libcudd_la-cuddApprox.lo cudd/cudd_libcudd_la-cuddBddAbs.lo cudd/cudd_libcudd_la-cuddBddCorr.lo cudd/cudd_libcudd_la-cuddBddIte.lo cudd/cudd_libcudd_la-cuddBridge.lo cudd/cudd_libcudd_la-cuddCache.lo cudd/cudd_libcudd_la-cuddCheck.lo cudd/cudd_libcudd_la-cuddClip.lo cudd/cudd_libcudd_la-cuddCof.lo cudd/cudd_libcudd_la-cuddCompose.lo cudd/cudd_libcudd_la-cuddDecomp.lo cudd/cudd_libcudd_la-cuddEssent.lo cudd/cudd_libcudd_la-cuddExact.lo cudd/cudd_libcudd_la-cuddExport.lo cudd/cudd_libcudd_la-cuddGenCof.lo cudd/cudd_libcudd_la-cuddGenetic.lo cudd/cudd_libcudd_la-cuddGroup.lo cudd/cudd_libcudd_la-cuddHarwell.lo cudd/cudd_libcudd_la-cuddInit.lo cudd/cudd_libcudd_la-cuddInteract.lo cudd/cudd_libcudd_la-cuddLCache.lo cudd/cudd_libcudd_la-cuddLevelQ.lo cudd/cudd_libcudd_la-cuddLinear.lo cudd/cudd_libcudd_la-cuddLiteral.lo cudd/cudd_libcudd_la-cuddMatMult.lo cudd/cudd_libcudd_la-cuddPriority.lo cudd/cudd_libcudd_la-cuddRead.lo cudd/cudd_libcudd_la-cuddRef.lo cudd/cudd_libcudd_la-cuddReorder.lo cudd/cudd_libcudd_la-cuddSat.lo cudd/cudd_libcudd_la-cuddSign.lo cudd/cudd_libcudd_la-cuddSolve.lo cudd/cudd_libcudd_la-cuddSplit.lo cudd/cudd_libcudd_la-cuddSubsetHB.lo cudd/cudd_libcudd_la-cuddSubsetSP.lo cudd/cudd_libcudd_la-cuddSymmetry.lo cudd/cudd_libcudd_la-cuddTable.lo cudd/cudd_libcudd_la-cuddUtil.lo cudd/cudd_libcudd_la-cuddWindow.lo cudd/cudd_libcudd_la-cuddZddCount.lo cudd/cudd_libcudd_la-cuddZddFuncs.lo cudd/cudd_libcudd_la-cuddZddGroup.lo cudd/cudd_libcudd_la-cuddZddIsop.lo cudd/cudd_libcudd_la-cuddZddLin.lo cudd/cudd_libcudd_la-cuddZddMisc.lo cudd/cudd_libcudd_la-cuddZddPort.lo cudd/cudd_libcudd_la-cuddZddReord.lo cudd/cudd_libcudd_la-cuddZddSetop.lo cudd/cudd_libcudd_la-cuddZddSymm.lo cudd/cudd_libcudd_la-cuddZddUtil.lo util/cudd_libcudd_la-cpu_stats.lo util/cudd_libcudd_la-cpu_time.lo util/cudd_libcudd_la-cstringstream.lo util/cudd_libcudd_la-datalimit.lo util/cudd_libcudd_la-pathsearch.lo util/cudd_libcudd_la-pipefork.lo util/cudd_libcudd_la-prtime.lo util/cudd_libcudd_la-safe_mem.lo util/cudd_libcudd_la-strsav.lo util/cudd_libcudd_la-texpand.lo util/cudd_libcudd_la-ucbqsort.lo st/cudd_libcudd_la-st.lo epd/cudd_libcudd_la-epd.lo mtr/cudd_libcudd_la-mtrBasic.lo mtr/cudd_libcudd_la-mtrGroup.lo cplusplus/cudd_libcudd_la-cuddObj.lo -lm
- libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/12/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/12/crtbeginS.o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o cudd/.libs/cudd_libcudd_la-cuddAddApply.o cudd/.libs/cudd_libcudd_la-cuddAddFind.o cudd/.libs/cudd_libcudd_la-cuddAddInv.o cudd/.libs/cudd_libcudd_la-cuddAddIte.o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o cudd/.libs/cudd_libcudd_la-cuddAnneal.o cudd/.libs/cudd_libcudd_la-cuddApa.o cudd/.libs/cudd_libcudd_la-cuddAPI.o cudd/.libs/cudd_libcudd_la-cuddApprox.o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o cudd/.libs/cudd_libcudd_la-cuddBddIte.o cudd/.libs/cudd_libcudd_la-cuddBridge.o cudd/.libs/cudd_libcudd_la-cuddCache.o cudd/.libs/cudd_libcudd_la-cuddCheck.o cudd/.libs/cudd_libcudd_la-cuddClip.o cudd/.libs/cudd_libcudd_la-cuddCof.o cudd/.libs/cudd_libcudd_la-cuddCompose.o cudd/.libs/cudd_libcudd_la-cuddDecomp.o cudd/.libs/cudd_libcudd_la-cuddEssent.o cudd/.libs/cudd_libcudd_la-cuddExact.o cudd/.libs/cudd_libcudd_la-cuddExport.o cudd/.libs/cudd_libcudd_la-cuddGenCof.o cudd/.libs/cudd_libcudd_la-cuddGenetic.o cudd/.libs/cudd_libcudd_la-cuddGroup.o cudd/.libs/cudd_libcudd_la-cuddHarwell.o cudd/.libs/cudd_libcudd_la-cuddInit.o cudd/.libs/cudd_libcudd_la-cuddInteract.o cudd/.libs/cudd_libcudd_la-cuddLCache.o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o cudd/.libs/cudd_libcudd_la-cuddLinear.o cudd/.libs/cudd_libcudd_la-cuddLiteral.o cudd/.libs/cudd_libcudd_la-cuddMatMult.o cudd/.libs/cudd_libcudd_la-cuddPriority.o cudd/.libs/cudd_libcudd_la-cuddRead.o cudd/.libs/cudd_libcudd_la-cuddRef.o cudd/.libs/cudd_libcudd_la-cuddReorder.o cudd/.libs/cudd_libcudd_la-cuddSat.o cudd/.libs/cudd_libcudd_la-cuddSign.o cudd/.libs/cudd_libcudd_la-cuddSolve.o cudd/.libs/cudd_libcudd_la-cuddSplit.o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o cudd/.libs/cudd_libcudd_la-cuddTable.o cudd/.libs/cudd_libcudd_la-cuddUtil.o cudd/.libs/cudd_libcudd_la-cuddWindow.o cudd/.libs/cudd_libcudd_la-cuddZddCount.o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o cudd/.libs/cudd_libcudd_la-cuddZddLin.o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o cudd/.libs/cudd_libcudd_la-cuddZddPort.o cudd/.libs/cudd_libcudd_la-cuddZddReord.o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o util/.libs/cudd_libcudd_la-cpu_stats.o util/.libs/cudd_libcudd_la-cpu_time.o util/.libs/cudd_libcudd_la-cstringstream.o util/.libs/cudd_libcudd_la-datalimit.o util/.libs/cudd_libcudd_la-pathsearch.o util/.libs/cudd_libcudd_la-pipefork.o util/.libs/cudd_libcudd_la-prtime.o util/.libs/cudd_libcudd_la-safe_mem.o util/.libs/cudd_libcudd_la-strsav.o util/.libs/cudd_libcudd_la-texpand.o util/.libs/cudd_libcudd_la-ucbqsort.o st/.libs/cudd_libcudd_la-st.o epd/.libs/cudd_libcudd_la-epd.o mtr/.libs/cudd_libcudd_la-mtrBasic.o mtr/.libs/cudd_libcudd_la-mtrGroup.o cplusplus/.libs/cudd_libcudd_la-cuddObj.o -L/usr/lib/gcc/x86_64-linux-gnu/12 -L/usr/lib/gcc/x86_64-linux-gnu/12/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/12/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/12/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/12/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/12/../../../x86_64-linux-gnu/crtn.o -O3 -Wl,-soname -Wl,libcudd-3.0.0.so.0 -o cudd/.libs/libcudd-3.0.0.so.0.0.0
- libtool: link: (cd "cudd/.libs" && rm -f "libcudd-3.0.0.so.0" && ln -s "libcudd-3.0.0.so.0.0.0" "libcudd-3.0.0.so.0")
- libtool: link: (cd "cudd/.libs" && rm -f "libcudd.so" && ln -s "libcudd-3.0.0.so.0.0.0" "libcudd.so")
- libtool: link: ar cru cudd/.libs/libcudd.a cudd/cudd_libcudd_la-cuddAddAbs.o cudd/cudd_libcudd_la-cuddAddApply.o cudd/cudd_libcudd_la-cuddAddFind.o cudd/cudd_libcudd_la-cuddAddInv.o cudd/cudd_libcudd_la-cuddAddIte.o cudd/cudd_libcudd_la-cuddAddNeg.o cudd/cudd_libcudd_la-cuddAddWalsh.o cudd/cudd_libcudd_la-cuddAndAbs.o cudd/cudd_libcudd_la-cuddAnneal.o cudd/cudd_libcudd_la-cuddApa.o cudd/cudd_libcudd_la-cuddAPI.o cudd/cudd_libcudd_la-cuddApprox.o cudd/cudd_libcudd_la-cuddBddAbs.o cudd/cudd_libcudd_la-cuddBddCorr.o cudd/cudd_libcudd_la-cuddBddIte.o cudd/cudd_libcudd_la-cuddBridge.o cudd/cudd_libcudd_la-cuddCache.o cudd/cudd_libcudd_la-cuddCheck.o cudd/cudd_libcudd_la-cuddClip.o cudd/cudd_libcudd_la-cuddCof.o cudd/cudd_libcudd_la-cuddCompose.o cudd/cudd_libcudd_la-cuddDecomp.o cudd/cudd_libcudd_la-cuddEssent.o cudd/cudd_libcudd_la-cuddExact.o cudd/cudd_libcudd_la-cuddExport.o cudd/cudd_libcudd_la-cuddGenCof.o cudd/cudd_libcudd_la-cuddGenetic.o cudd/cudd_libcudd_la-cuddGroup.o cudd/cudd_libcudd_la-cuddHarwell.o cudd/cudd_libcudd_la-cuddInit.o cudd/cudd_libcudd_la-cuddInteract.o cudd/cudd_libcudd_la-cuddLCache.o cudd/cudd_libcudd_la-cuddLevelQ.o cudd/cudd_libcudd_la-cuddLinear.o cudd/cudd_libcudd_la-cuddLiteral.o cudd/cudd_libcudd_la-cuddMatMult.o cudd/cudd_libcudd_la-cuddPriority.o cudd/cudd_libcudd_la-cuddRead.o cudd/cudd_libcudd_la-cuddRef.o cudd/cudd_libcudd_la-cuddReorder.o cudd/cudd_libcudd_la-cuddSat.o cudd/cudd_libcudd_la-cuddSign.o cudd/cudd_libcudd_la-cuddSolve.o cudd/cudd_libcudd_la-cuddSplit.o cudd/cudd_libcudd_la-cuddSubsetHB.o cudd/cudd_libcudd_la-cuddSubsetSP.o cudd/cudd_libcudd_la-cuddSymmetry.o cudd/cudd_libcudd_la-cuddTable.o cudd/cudd_libcudd_la-cuddUtil.o cudd/cudd_libcudd_la-cuddWindow.o cudd/cudd_libcudd_la-cuddZddCount.o cudd/cudd_libcudd_la-cuddZddFuncs.o cudd/cudd_libcudd_la-cuddZddGroup.o cudd/cudd_libcudd_la-cuddZddIsop.o cudd/cudd_libcudd_la-cuddZddLin.o cudd/cudd_libcudd_la-cuddZddMisc.o cudd/cudd_libcudd_la-cuddZddPort.o cudd/cudd_libcudd_la-cuddZddReord.o cudd/cudd_libcudd_la-cuddZddSetop.o cudd/cudd_libcudd_la-cuddZddSymm.o cudd/cudd_libcudd_la-cuddZddUtil.o util/cudd_libcudd_la-cpu_stats.o util/cudd_libcudd_la-cpu_time.o util/cudd_libcudd_la-cstringstream.o util/cudd_libcudd_la-datalimit.o util/cudd_libcudd_la-pathsearch.o util/cudd_libcudd_la-pipefork.o util/cudd_libcudd_la-prtime.o util/cudd_libcudd_la-safe_mem.o util/cudd_libcudd_la-strsav.o util/cudd_libcudd_la-texpand.o util/cudd_libcudd_la-ucbqsort.o st/cudd_libcudd_la-st.o epd/cudd_libcudd_la-epd.o mtr/cudd_libcudd_la-mtrBasic.o mtr/cudd_libcudd_la-mtrGroup.o cplusplus/cudd_libcudd_la-cuddObj.o
- libtool: link: ranlib cudd/.libs/libcudd.a
- libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" )
- In file included from /usr/include/assert.h:35,
- from util/util.h:70,
- from util/cpu_stats.c:66:
- /usr/include/features.h:194:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
- 194 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE"
- | ^~~~~~~
- ar: `u' modifier ignored since `D' is the default (see `U')
-> compiled cudd.0.1.1
-> removed cudd.0.1.1
-> installed cudd.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-08-12 20:27.05 ---> saved as "23865bb810acd8841b9c2467cf34e2ba1357ad9031d67b21a1901b78215920de"
Job succeeded
2025-08-12 20:27.31: Job succeeded