Skip to content

Commit

Permalink
Push
Browse files Browse the repository at this point in the history
  • Loading branch information
pkriens committed May 21, 2024
1 parent 6e3f0cb commit 4204a14
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion org.alloytools.pardinus.native/native-code/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,15 @@
# On a mac (amd64/arm64) just type make in this directory
# All native code will end up in ../native/OS/ARCH. OS=[darwin,linux,windows], ARCH=[amd64,arm64]
#
ifdef ComSpec
PS=;
else
PS=:
endif

DIRS = native/linux/amd64 native/windows/amd64 native/darwin/amd64 native/darwin/arm64
REPOS= minisat glucose lingeling minisatprover
CLASSPATH = ../target/classes:../../org.alloytools.pardinus.core/target/classes
CLASSPATH = ../target/classes${PS}../../org.alloytools.pardinus.core/target/classes

REPOS_PATHS = $(addsuffix /repo/.git/config,$(REPOS))

Expand Down

0 comments on commit 4204a14

Please sign in to comment.