Ahora puedo compilar exitosamente usando el archivo make proporcionado, ahora quiero compilar el proyecto en un archivo dll, ¿cómo debo modificar el archivo make?
El archivo de creación es:
default: all
# -------------------------------------------------------------------
# Change the path to Z3 4.1.1 accordingly
# The directory indicated by this path should contain "lib" and "bin"
# e.g. "/home/z3_src_4.1.1"
# "/home/work/tool/z3/z3_src_4.1.1"
# -------------------------------------------------------------------
Z3_path = ../z3
JUNK = S3
SOURCE = strTheory.cpp testMain.cpp
INCLUDE = $(Z3_path)/lib
LIB = $(Z3_path)/bin/external
all: $(SOURCE)
g++ -std=c++14 -O3 -fopenmp -static -I$(INCLUDE) -L$(LIB) $(SOURCE) -lz3 -lrt -o S3 -Wall
@echo ""
clean:
rm -f $(JUNK)
Respuesta1
Por tu comentario supongo que estás preguntando sobre
- Compilación cruzada para Windows
Este es un tema completamente diferente. Requiere más que simplemente cambiar su archivo MAKE. Sin embargo, esta pregunta ya se ha hecho antes:
- ¿Cómo programar para Windows en Ubuntu?
- ¿Es posible escribir programas para otros sistemas operativos en Ubuntu?
- compilación cruzada con clang usando mingw(aún no hay respuestas)
- ¿Cuál es el equivalente de /opt/mingw64 /opt/mingw32 para Ubuntu?
Si tu proyecto está en C o C++ puedes usarMinGWherramientas y el mismo tipo de herramientas de compilación basadas en Linux que usan gcc/g++. Puedes instalar MinGW así:
sudo apt-get install gcc-mingw32
te sugiero que estudiesesta guía para la compilación cruzada de qt/win32 usando herramientas MinGW.
Si su proyecto es principalmente para C#, podría estar mejor conMonodesarrollo. Desde su sitio web:
MonoDevelop permite a los desarrolladores escribir rápidamente aplicaciones web y de escritorio en Linux, Windows y Mac OS X. También les facilita a los desarrolladores portar aplicaciones .NET creadas con Visual Studio a Linux y Mac OS X manteniendo una única base de código para todas las plataformas.