Guest User

Untitled

a guest
Feb 16th, 2019
100
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 4.53 KB | None | 0 0
  1. #########################################################################
  2. # #
  3. # Objective Caml #
  4. # #
  5. # Xavier Leroy, projet Cristal, INRIA Rocquencourt #
  6. # #
  7. # Copyright 1999 Institut National de Recherche en Informatique et #
  8. # en Automatique. All rights reserved. This file is distributed #
  9. # under the terms of the GNU Library General Public License, with #
  10. # the special exception on linking described in file ../LICENSE. #
  11. # #
  12. #########################################################################
  13.  
  14. # $Id: Makefile.msvc,v 1.30.2.1 2008/11/10 15:24:51 xleroy Exp $
  15.  
  16. # Configuration for Windows, Visual C++ compiler
  17.  
  18. ######### General configuration
  19.  
  20. PREFIX=C:/ProgramFiles/ocaml-3.11.0 #$(OCAMLHOME)
  21.  
  22. ### Where to install the binaries.
  23. BINDIR=$(PREFIX)/bin
  24.  
  25. ### Where to install the standard library
  26. LIBDIR=$(PREFIX)/lib
  27.  
  28. ### Where to install the stub DLLs
  29. STUBLIBDIR=$(LIBDIR)/stublibs
  30.  
  31. ### Where to install the info files
  32. DISTRIB=$(PREFIX)
  33.  
  34. ### Where to install the man pages
  35. MANDIR=$(PREFIX)/man
  36.  
  37. ########## Toolchain and OS dependencies
  38.  
  39. TOOLCHAIN=msvc
  40. CCOMPTYPE=msvc
  41. O=obj
  42. A=lib
  43. S=asm
  44. SO=s.obj
  45. DO=d.obj
  46. EXE=.exe
  47. EXT_DLL=.dll
  48. EXT_OBJ=.$(O)
  49. EXT_LIB=.$(A)
  50. EXT_ASM=.$(S)
  51. MANEXT=1
  52. SHARPBANGSCRIPTS=false
  53. PTHREAD_LINK=
  54. X11_INCLUDES=
  55. X11_LINK=
  56. DBM_INCLUDES=
  57. DBM_LINK=
  58. BYTECCRPATH=
  59. SUPPORTS_SHARED_LIBRARIES=true
  60. SHAREDCCCOMPOPTS=
  61. NATIVECCPROFOPTS=
  62. NATIVECCRPATH=
  63. ASM=ml /nologo /coff /Cp /c /Fo
  64. ASPP=
  65. ASPPPROFFLAGS=
  66. PROFILING=noprof
  67. DYNLINKOPTS=
  68. DEBUGGER=ocamldebugger
  69. CC_PROFILE=
  70. SYSTHREAD_SUPPORT=true
  71. EXTRALIBS=
  72. CMXS=cmxs
  73.  
  74. ########## Configuration for the bytecode compiler
  75.  
  76. ### Which C compiler to use for the bytecode interpreter.
  77. BYTECC=cl /nologo -D_CRT_SECURE_NO_DEPRECATE
  78.  
  79. ### Additional compile-time options for $(BYTECC). (For static linking.)
  80. BYTECCCOMPOPTS=/Ox /MD
  81.  
  82. ### Additional link-time options for $(BYTECC). (For static linking.)
  83. BYTECCLINKOPTS=/MD /F16777216
  84.  
  85. ### Additional compile-time options for $(BYTECC). (For building a DLL.)
  86. DLLCCCOMPOPTS=/Ox /MD
  87.  
  88. ### Libraries needed
  89. BYTECCLIBS=advapi32.lib ws2_32.lib
  90. NATIVECCLIBS=advapi32.lib ws2_32.lib
  91.  
  92. ### How to invoke the C preprocessor
  93. CPP=cl /nologo /EP
  94.  
  95. ### Flexlink
  96. FLEXLINK=flexlink -merge-manifest
  97. FLEXDIR=$(shell $(FLEXLINK) -where)
  98. IFLEXDIR=-I"$(FLEXDIR)"
  99. MKDLL=$(FLEXLINK)
  100. MKEXE=$(FLEXLINK) -exe
  101. MKMAINDLL=$(FLEXLINK) -maindll
  102.  
  103. ### How to build a static library
  104. MKLIB=link /lib /nologo /out:$(1) $(2)
  105. #ml let mklib out files opts = Printf.sprintf "link /lib /nologo /out:%s %s %s" out opts files;;
  106. MKSHAREDLIBRPATH=
  107.  
  108. ### Canonicalize the name of a system library
  109. SYSLIB=$(1).lib
  110. #ml let syslib x = x ^ ".lib";;
  111.  
  112. ### The ranlib command
  113. RANLIB=echo
  114. RANLIBCMD=
  115.  
  116. ############# Configuration for the native-code compiler
  117.  
  118. ### Name of architecture for the native-code compiler
  119. ARCH=i386
  120.  
  121. ### Name of architecture model for the native-code compiler.
  122. MODEL=default
  123.  
  124. ### Name of operating system family for the native-code compiler.
  125. SYSTEM=win32
  126.  
  127. ### Which C compiler to use for the native-code compiler.
  128. NATIVECC=cl /nologo -D_CRT_SECURE_NO_DEPRECATE
  129.  
  130. ### Additional compile-time options for $(NATIVECC).
  131. NATIVECCCOMPOPTS=/Ox /MD
  132.  
  133. ### Additional link-time options for $(NATIVECC)
  134. NATIVECCLINKOPTS=/MD /F16777216
  135.  
  136. ### Build partially-linked object file
  137. PACKLD=link /lib /nologo /out:# there must be no space after this '/out:'
  138.  
  139. ############# Configuration for the contributed libraries
  140.  
  141. OTHERLIBRARIES=win32unix systhreads str num win32graph dynlink bigarray #labltk
  142.  
  143. ### Name of the target architecture for the "num" library
  144. BNG_ARCH=generic
  145. BNG_ASM_LEVEL=0
  146.  
  147. ### Configuration for LablTk
  148. # Set TK_ROOT to the directory where you installed TCL/TK 8.3
  149. TK_ROOT=#c:/tcl
  150. TK_DEFS=#-I$(TK_ROOT)/include
  151. # The following definition avoids hard-wiring $(TK_ROOT) in the libraries
  152. # produced by OCaml, and is therefore required for binary distribution
  153. # of these libraries. However, $(TK_ROOT)/lib must be added to the LIB
  154. # environment variable, as described in README.win32.
  155. TK_LINK=#tk84.lib tcl84.lib ws2_32.lib
  156. # An alternative definition that avoids mucking with the LIB variable,
  157. # but hard-wires the Tcl/Tk location in the binaries
  158. # TK_LINK=$(TK_ROOT)/tk84.lib $(TK_ROOT)/tcl84.lib ws2_32.lib
  159.  
  160. ############# Aliases for common commands
  161.  
  162. MAKEREC=$(MAKE) -f Makefile.nt
  163. MAKECMD=$(MAKE)
Add Comment
Please, Sign In to add comment