Skip to content

Instantly share code, notes, and snippets.

@vlj
vlj / sum.v
Last active February 10, 2020 18:44
From mathcomp Require Import ssreflect ssrbool ssrfun eqtype ssrnat seq choice path.
From mathcomp Require Import div fintype tuple finfun bigop finset fingroup perm.
From mathcomp Require Import div prime binomial ssralg finalg zmodp countalg ssrnum falgebra.
From mathcomp Require Import ssrint matrix algC.
Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.
@vlj
vlj / conv.v
Last active February 8, 2020 23:57
From mathcomp Require Import ssreflect ssrbool ssrfun eqtype ssrnat seq choice path.
From mathcomp Require Import div fintype tuple finfun bigop finset fingroup perm.
From mathcomp Require Import div prime binomial ssralg finalg zmodp countalg.
From mathcomp Require Import ssrint matrix.
Set Implicit Arguments.
Unset Strict Implicit.
Unset Printing Implicit Defensive.
Applied user-wide integration for this vcpkg root.
All C++ projects can now #include any installed libraries.
Linking will be handled automatically.
Installing new libraries will make them instantly available.
---> 5bdf00cd71a4
Removing intermediate container 088b7f6074f9
Step 12/12 : RUN .\vcpkg install zlib
---> Running in 52aa8b7c36c1
Error HRESULT E_FAIL has been returned from a call to a COM component.
Removing intermediate container 7972ce23d563
Step 14/14 : RUN .\vcpkg.exe install zlib
---> Running in 6586e5bb3550
C:\vcpkg\vcpkg-master\downloads\cmake-3.7.2-win32-x86.zip
C:\vcpkg\vcpkg-master\downloads
Error HRESULT E_FAIL has been returned from a call to a COM component.
At C:\vcpkg\vcpkg-master\scripts\fetchDependency.ps1:119 char:9
+ $zip = $shell.NameSpace($file)
+ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+ CategoryInfo : OperationStopped: (:) [], COMException
FROM microsoft/windowsservercore
SHELL ["powershell", "-Command", "$ErrorActionPreference = 'Stop'; $ProgressPreference = 'SilentlyContinue';"]
RUN Invoke-WebRequest 'http://go.microsoft.com/fwlink/?LinkId=691126' -OutFile 'visualcppbuildtools_full.exe';
RUN Start-Process .\visualcppbuildtools_full.exe -ArgumentList '/NoRestart /S' -Wait ;
RUN rm visualcppbuildtools_full.exe
RUN Invoke-WebRequest https://github.com/Microsoft/vcpkg/archive/master.zip -OutFile vcpkg.zip;
RUN Expand-Archive vcpkg.zip -DestinationPath vcpkg;
cmake_minimum_required (VERSION 2.6)
project (Thaegaproj)
find_file(SDL2_INCLUDE_DIR NAME SDL.h HINTS SDL2)
find_library(SDL2_LIBRARY NAME SDL2)
target_include_directories(Thaegaproj ${SDL2_INCLUDE_DIR})
add_executable(Thaegaproj main.cpp)
target_link_libraries(Thaegaproj ${SDL2_LIBRARY})
#include <range/v3/all.hpp>
struct model{
uint16_t indices[3];
};
int main()
{
uint16_t ptr[256];
C:/Users/vlj/Documents/GitHub/assimp/workspaces/Android-NDK/jni/../../..//code/glTFAsset.h:58:33: fatal error:
rapidjson/rapidjson.h: No such file or directory
#include <rapidjson/rapidjson.h>
^
compilation terminated.
make: *** [C:/Users/vlj/Documents/GitHub/assimp/workspaces/Android-NDK/obj/local/armeabi-v7a/objs/assimp_static/code/gl
TFImporter.o] Error 1
C:/Users/vlj/Documents/GitHub/assimp/workspaces/Android-NDK/jni/../../..//code/3DSConverter.cpp:48:
C:/Users/vlj/Documents/GitHub/assimp/workspaces/Android-NDK/jni/../../..//code/StreamReader.h:93:33: error: expected
')' before '<' token
StreamReader(std::shared_ptr<IOStream> stream, bool le = false)
^
C:/Users/vlj/Documents/GitHub/assimp/workspaces/Android-NDK/jni/../../..//code/StreamReader.h:342:10: error:
'shared_ptr' in namespace 'std' does not name a template type
std::shared_ptr<IOStream> stream;
^
> rpcs3.exe!vk::dbgFunc(unsigned int msgFlags, VkDebugReportObjectTypeEXT objType, unsigned __int64 srcObject, unsigned __int64 location, int msgCode, const char * pLayerPrefix, const char * pMsg, void * pUserData) Line 262 C++
VkLayer_param_checker.dll!00007ffed2a6a7f1() Unknown
VkLayer_param_checker.dll!00007ffed2a6b50e() Unknown
VkLayer_param_checker.dll!00007ffed2a64531() Unknown
VkLayer_param_checker.dll!00007ffed2a71670() Unknown
VkLayer_draw_state.dll!00007ffecaeb572d() Unknown
VkLayer_object_tracker.dll!00007ffed0f7c930() Unknown
VkLayer_mem_tracker.dll!00007ffec8a59d27() Unknown
rpcs3.exe!vk::texture::create(vk::render_device & device, VkFormat format, VkImageType image_type, VkImageViewType view_type, unsigned int image_flags, unsigned int usage, VkImageTiling tiling, unsigned int width, unsigned int height, unsigned int mipmaps, bool gpu_only, VkComponentMapping & swizzle) Line 162 C++
rpcs3.exe!vk::texture::create(vk::render_device & device, VkFormat format, unsigned int usage, u