exe files were ignored

AlloyTools · Mar 15, 2024 · 5165321 · 5165321
1 parent 46d5e6e
commit 5165321
Show file tree

Hide file tree

Showing 13 changed files with 1 addition and 19 deletions.
diff --git a/.gitignore b/.gitignore
@@ -16,24 +16,6 @@ enroute.zip
 *.gch
 *.pch
 
-# Compiled Dynamic libraries
-*.so
-*.dylib
-*.dll
-
-# Fortran module files
-*.mod
-
-# Compiled Static libraries
-*.lai
-*.la
-*.a
-*.lib
-
-# Executables
-*.exe
-*.out
-*.app
 
 .idea
 *.iml

diff --git a/org.alloytools.pardinus.native/native-code/Makefile b/org.alloytools.pardinus.native/native-code/Makefile
@@ -1,5 +1,5 @@
 #
-# On a mac (x86/arm) just type make in this directory
+# 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]
 #
 

diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libglucose.dylib
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/libminisat.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libminisat.dylib
diff --git a/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib b/org.alloytools.pardinus.native/native/darwin/amd64/libminisatprover.dylib
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libglucose.dylib
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/libminisat.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libminisat.dylib
diff --git a/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib b/org.alloytools.pardinus.native/native/darwin/arm64/libminisatprover.dylib
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/libglucose.so b/org.alloytools.pardinus.native/native/linux/amd64/libglucose.so
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/libminisat.so b/org.alloytools.pardinus.native/native/linux/amd64/libminisat.so
diff --git a/org.alloytools.pardinus.native/native/linux/amd64/libminisatprover.so b/org.alloytools.pardinus.native/native/linux/amd64/libminisatprover.so
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll b/org.alloytools.pardinus.native/native/windows/amd64/glucose.dll
diff --git a/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll b/org.alloytools.pardinus.native/native/windows/amd64/minisat.dll